Subrecursive program schemata I P II. I: Undecidable equivalence problems. II: Decidable equivalence problems (Q2559259): Difference between revisions

@@ Property / cites work @@
+Q5672158
@@ Property / cites work: Q5672158 / rank @@
+Normal rank
@@ Property / cites work @@
+Subrecursive Programming Languages, Part I
@@ Property / cites work: Subrecursive Programming Languages, Part I / rank @@
+Normal rank
@@ Property / cites work @@
+On Classes of Program Schemata
@@ Property / cites work: On Classes of Program Schemata / rank @@
+Normal rank
@@ Property / cites work @@
+Symposium on semantics of algorithmic languages
@@ Property / cites work: Symposium on semantics of algorithmic languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q5668808
@@ Property / cites work: Q5668808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5517672
@@ Property / cites work: Q5517672 / rank @@
+Normal rank
@@ Property / cites work @@
+On formalised computer programs
@@ Property / cites work: On formalised computer programs / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of Programs and the First-Order Predicate Calculus
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Unsolvability in 3 × 3 Matrices
@@ Property / cites work: Unsolvability in 3 × 3 Matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Q5533181
@@ Property / cites work: Q5533181 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability of Recursive Functions
@@ Property / cites work: Computability of Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Translating recursion equations into flow charts
@@ Property / cites work: Translating recursion equations into flow charts / rank @@
+Normal rank