Axiomatizations of backtracking (Q5096771): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-55210-3_174
+Normal rank
@@ Property / OpenAlex ID @@
+W1802865379
@@ Property / OpenAlex ID: W1802865379 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5096771