Modifications of the program scheme model (Q1258173): Difference between revisions

@@ Property / cites work @@
+Translating Program Schemas to While-Schemas
@@ Property / cites work: Translating Program Schemas to While-Schemas / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of program structures: Schemes, semantics, verification
+Normal rank
@@ Property / cites work @@
+Program schemata and the first-order decision problem
+Normal rank
@@ Property / cites work @@
+On formalised computer programs
@@ Property / cites work: On formalised computer programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+Unsolvability in 3 × 3 Matrices
@@ Property / cites work: Unsolvability in 3 × 3 Matrices / rank @@
+Normal rank