Arithmetische Prädikate über einem Bereich endlicher Automaten

DOI10.1007/BF02015376zbMath0352.02030MaRDI QIDQ4121884

Thomas Ottmann

Publication date: 1974

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137893

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (1)

Automata and concurrency

Cites Work

• Unnamed Item
• Unnamed Item
• Rekursive Wortfunktionen
• Primitiv-Rekursive Funktionen Über Einem Bereich Endlicher Mengen
• Primitiv-Rekursive Funktionen auf Termmengen
• Concatenation as a basis for arithmetic

This page was built for publication: Arithmetische Prädikate über einem Bereich endlicher Automaten