IO and OI. I
type: Item
instance of: scholarly article
title: IO and OI. I
zbMATH Open document ID: 0366.68053
DOI: 10.1016/S0022-0000(77)80034-2
author: Joost Engelfriet
author: Erik Meineche Schmidt
published in: Journal of Computer and System Sciences
publication date: 1977-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 3571514
describes a project that uses: ALGOL 60
MaRDI profile type: Publication
cites work: Decidable Properties of Monadic Functional Schemas
cites work: Q4082312
cites work: Heterogeneous algebras
cites work: Equational languages
cites work: Q5515373
cites work: Bottom-up and top-down tree transformations— a comparison
cites work: A note on infinite trees
cites work: Simple program schemes and formal languages
cites work: Q4146243
cites work: Two Families of Languages Related to ALGOL
cites work: Initial Algebra Semantics and Continuous Algebras
cites work: A generalized approach to formal languages
cites work: Q4124327
cites work: Inductive methods for proving properties of programs
cites work: Q5601829
cites work: Algebraic automata and context-free sets
cites work: Q4766003
cites work: Q4116078
cites work: Q4131026
cites work: Q4057558
cites work: Q4080703
cites work: An extension of ALGOL-like languages
cites work: Tree-Manipulating Systems and Church-Rosser Theorems
cites work: Mappings and grammars on trees
cites work: Data Types as Lattices
cites work: Q3853124
cites work: Generalized sequential machine maps
cites work: Generalized finite automata theory with an application to a decision problem of second-order logic
cites work: Q4404460
cites work: Q4092932
cites work: Q4404457
cites work: Q4061986
cites work: Q4130952
full work available at URL: s0022-0000(77)80034-2
OpenAlex ID: W4212777788
description: scientific article; zbMATH DE number 3571514