Programs as partial graphs. II: Recursion (Q1168724): 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/0304-3975(81)90068-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2038144522
@@ Property / OpenAlex ID: W2038144522 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable Properties of Monadic Functional Schemas
+Normal rank
@@ Property / cites work @@
+On the completeness of the inductive assertion method
+Normal rank
@@ Property / cites work @@
+Q4168046
@@ Property / cites work: Q4168046 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4184276
@@ Property / cites work: Q4184276 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190104
@@ Property / cites work: Q4190104 / rank @@
+Normal rank
@@ Property / cites work @@
+Programs as partial graphs. I: Flow equivalence and correctness
+Normal rank