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

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0022-0000(79)90036-9
+Normal rank
@@ Property / OpenAlex ID @@
+W1993713645
@@ Property / OpenAlex ID: W1993713645 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:1258173