scientific article; zbMATH DE number 3581591

MaRDI QIDQ4151140zbMATH OpenFDO

Authors

Publication date 1978

Mathematics Subject Classification ID

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

Cited in

(10)

• Fundamental properties of infinite trees
• Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
• Parameter-reduction of higher level grammars
• 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
• scientific article; zbMATH DE number 3870582 (Why is no real title available?)
• Zur Elimination von Prozedurschachtelungen
• Expressive power of typed and type-free programming languages

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4151140)