Beitrag zur algebraischen Rekursionstheorie

DOI10.1002/MANA.19790900120MaRDI QIDQ3919695zbMATH OpenOpenAlexFDO

Authors 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) Recursive functions and relations, subrecursive hierarchies (03D20) Algebraic logic (03G99) Relational systems, laws of composition (08A02) Algebraic theory of languages and automata (68Q70)

Cites work

• Computability of Recursive Functions
• Elementary induction on abstract structures
• scientific article; zbMATH DE number 3305014 (Why is no real title available?)
• Kanonische Abbildungen und Eilenberg-Maschinen

This page was built for publication: Beitrag zur algebraischen Rekursionstheorie

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