Function iteration logics and flowchart schemata (Q1226854): Difference between revisions

@@ Property / author @@
+John C. Cherniavsky
@@ Property / author: John C. Cherniavsky / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Program Schemes with Pushdown Stores
@@ Property / cites work: Program Schemes with Pushdown Stores / 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 @@
+Q4125721
@@ Property / cites work: Q4125721 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic properties of structures
@@ Property / cites work: Algorithmic properties of structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5636310
@@ Property / cites work: Q5636310 / rank @@
+Normal rank
@@ Property / cites work @@
+Program schemes, recursion schemes, and formal languages
+Normal rank
@@ Property / cites work @@
+Flow Graph Reducibility
@@ Property / cites work: Flow Graph Reducibility / 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 @@
+Q4125700
@@ Property / cites work: Q4125700 / rank @@
+Normal rank
@@ Property / cites work @@
+Translating recursion equations into flow charts
@@ Property / cites work: Translating recursion equations into flow charts / rank @@
+Normal rank
@@ Property / cites work @@
+The Equivalence Problem of Simple Programs
@@ Property / cites work: The Equivalence Problem of Simple Programs / rank @@
+Normal rank