The correctness of nondeterministic programs (Q2541847): Difference between revisions

@@ Property / cites work @@
+Formalization of Properties of Functional Programs
+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 @@
+Q5626273
@@ Property / cites work: Q5626273 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical theory of partial correctness
@@ Property / cites work: Mathematical theory of partial correctness / rank @@
+Normal rank
@@ Property / cites work @@
+Q3844647
@@ Property / cites work: Q3844647 / rank @@
+Normal rank