Axiomatizations of backtracking (Q5096771): Difference between revisions

@@ Property / cites work @@
+Operational and denotational semantics of prolog
@@ Property / cites work: Operational and denotational semantics of prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Q3809307
@@ Property / cites work: Q3809307 / rank @@
+Normal rank
@@ Property / cites work @@
+Simple operational and denotational semantics for Prolog with cut
+Normal rank
@@ Property / cites work @@
+Q3976572
@@ Property / cites work: Q3976572 / rank @@
+Normal rank
@@ Property / cites work @@
+Denotational and operational semantics for prolog
@@ Property / cites work: Denotational and operational semantics for prolog / rank @@
+Normal rank