IO and OI. I (Q1241985): Difference between revisions

@@ 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 @@
+Decidable Properties of Monadic Functional Schemas
+Normal rank
@@ Property / cites work @@
+Q4082312
@@ Property / cites work: Q4082312 / rank @@
+Normal rank
@@ Property / cites work @@
+Heterogeneous algebras
@@ Property / cites work: Heterogeneous algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Equational languages
@@ Property / cites work: Equational languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q5515373
@@ Property / cites work: Q5515373 / rank @@
+Normal rank
@@ Property / cites work @@
+Bottom-up and top-down tree transformations— a comparison
+Normal rank
@@ Property / cites work @@
+A note on infinite trees
@@ Property / cites work: A note on infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Simple program schemes and formal languages
@@ Property / cites work: Simple program schemes and formal languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4146243
@@ Property / cites work: Q4146243 / rank @@
+Normal rank
@@ Property / cites work @@
+Two Families of Languages Related to ALGOL
@@ Property / cites work: Two Families of Languages Related to ALGOL / 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 @@
+A generalized approach to formal languages
@@ Property / cites work: A generalized approach to formal languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive methods for proving properties of programs
+Normal rank
@@ Property / cites work @@
+Q5601829
@@ Property / cites work: Q5601829 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic automata and context-free sets
@@ Property / cites work: Algebraic automata and context-free sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4766003
@@ Property / cites work: Q4766003 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4116078
@@ Property / cites work: Q4116078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4131026
@@ Property / cites work: Q4131026 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4057558
@@ Property / cites work: Q4057558 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4080703
@@ Property / cites work: Q4080703 / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of ALGOL-like languages
@@ Property / cites work: An extension of ALGOL-like languages / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-Manipulating Systems and Church-Rosser Theorems
+Normal rank
@@ Property / cites work @@
+Mappings and grammars on trees
@@ Property / cites work: Mappings and grammars on trees / rank @@
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3853124
@@ Property / cites work: Q3853124 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized sequential machine maps
@@ Property / cites work: Generalized sequential machine maps / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank
@@ Property / cites work @@
+Q4404460
@@ Property / cites work: Q4404460 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4092932
@@ Property / cites work: Q4092932 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4404457
@@ Property / cites work: Q4404457 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4061986
@@ Property / cites work: Q4061986 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4130952
@@ Property / cites work: Q4130952 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0022-0000(77)80034-2
+Normal rank
@@ Property / OpenAlex ID @@
+W4212777788
@@ Property / OpenAlex ID: W4212777788 / rank @@
+Normal rank