Beitrag zur algebraischen Rekursionstheorie

DOI10.1002/mana.19790900120zbMath0467.03036OpenAlexW2167406976MaRDI QIDQ3919695

Dietrich Schwartz

Publication date: 1979

Published in: Mathematische Nachrichten (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/mana.19790900120

zbMATH Keywords

canonical functions over systems of relationsmodified Eilenberg machines

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70) Algebraic logic (03G99) Recursive functions and relations, subrecursive hierarchies (03D20) Relational systems, laws of composition (08A02)

Cites Work

• Unnamed Item
• Elementary induction on abstract structures
• Kanonische Abbildungen und Eilenberg-Maschinen
• Computability of Recursive Functions

This page was built for publication: Beitrag zur algebraischen Rekursionstheorie