The formal termination problem for programs with finite ALGOL 68-modes (Q1133312): Difference between revisions

@@ Property / cites work @@
+Q4130952
@@ Property / cites work: Q4130952 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4172933
@@ Property / cites work: Q4172933 / rank @@
+Normal rank
@@ Property / cites work @@
+Stack automata and compiling
@@ Property / cites work: Stack automata and compiling / rank @@
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Pascal. User manual and report. 2nd ed
@@ Property / cites work: Pascal. User manual and report. 2nd ed / rank @@
+Normal rank
@@ Property / cites work @@
+Q4776826
@@ Property / cites work: Q4776826 / rank @@
+Normal rank
@@ Property / cites work @@
+On correct procedure parameter transmission in higher programming languages
+Normal rank
@@ Property / cites work @@
+On procedures as open subroutines. II
@@ Property / cites work: On procedures as open subroutines. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4191572
@@ Property / cites work: Q4191572 / rank @@
+Normal rank
@@ Property / cites work @@
+Revised report on the algorithmic language ALGOL 68
+Normal rank