Flowchart machines (Q5615718): Difference between revisions

@@ Property / author @@
-Dines Bjørner
@@ Property / author: Dines Bjørner / rank @@
-Normal rank
@@ Property / author @@
+Dines Bjørner
@@ Property / author: Dines Bjørner / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ALGOL 60
@@ Property / describes a project that uses: ALGOL 60 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Models of Computations and Systems—Evaluation of Vertex Probabilities in Graph Models of Computations
+Normal rank
@@ Property / cites work @@
+Q5628148
@@ Property / cites work: Q5628148 / rank @@
+Normal rank
@@ Property / cites work @@
+On the equivalence and transformation of program schemes
+Normal rank
@@ Property / cites work @@
+On Ianov's Program Schemata
@@ Property / cites work: On Ianov's Program Schemata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3277097
@@ Property / cites work: Q3277097 / rank @@
+Normal rank
@@ Property / cites work @@
+Flow diagrams, turing machines and languages with only two formation rules
+Normal rank
@@ Property / cites work @@
+The outer and inner syntax of a programming language
+Normal rank
@@ Property / cites work @@
+Q3262547
@@ Property / cites work: Q3262547 / rank @@
+Normal rank
@@ Property / cites work @@
+Revised report on the algorithmic language ALGOL 60
+Normal rank
@@ Property / cites work @@
+The theory of sequential relations
@@ Property / cites work: The theory of sequential relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5576254
@@ Property / cites work: Q5576254 / rank @@
+Normal rank
@@ Property / cites work @@
+A contribution to the development of ALGOL
@@ Property / cites work: A contribution to the development of ALGOL / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01935563
+Normal rank
@@ Property / OpenAlex ID @@
+W4241843930
@@ Property / OpenAlex ID: W4241843930 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5615718