The correctness of nondeterministic programs (Q2541847): 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.1016/0004-3702(70)90002-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2053465392
@@ Property / OpenAlex ID: W2053465392 / rank @@
+Normal rank
@@ 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