scientific article; zbMATH DE number 3581591

zbMath0373.68021MaRDI QIDQ4151140

No author found.

Publication date: 1978

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Higher-type and set recursion theory (03D65)

Related Items

Equivalences and transformations of regular systems - applications to recursive program schemes and grammars, Parameter-reduction of higher level grammars, Unnamed Item, Varieties of chain-complete algebras, The IO- and OI-hierarchies, Attribute grammars and recursive program schemes. I. II, On the expressive power of finitely typed and universally polymorphic recursive procedures, Zur Elimination von Prozedurschachtelungen, Expressive power of typed and type-free programming languages, Fundamental properties of infinite trees