Q4499270 (Q4499270): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A pragmatic reconstruction of λProlog
@@ Property / cites work: A pragmatic reconstruction of λProlog / rank @@
+Normal rank
@@ Property / cites work @@
+Denotational and operational semantics for prolog
@@ Property / cites work: Denotational and operational semantics for prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Tracing Prolog programs by source instrumentation is efficient enough
+Normal rank
@@ Property / cites work @@
+Q3365275
@@ Property / cites work: Q3365275 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287480
@@ Property / cites work: Q4287480 / rank @@
+Normal rank