Backtracking in recursive computations (Q1238623): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068063
@@ Property / cites work: Q4068063 / rank @@
+Normal rank
@@ Property / cites work @@
+REF-ARF: A system for solving problems stated as procedures
+Normal rank
@@ Property / cites work @@
+Nondeterministic Algorithms
@@ Property / cites work: Nondeterministic Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Backtrack Programming
@@ Property / cites work: Backtrack Programming / rank @@
+Normal rank
@@ Property / cites work @@
+The correctness of nondeterministic programs
@@ Property / cites work: The correctness of nondeterministic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive methods for proving properties of programs
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank