Arithmetische Prädikate über einem Bereich endlicher Automaten

DOI10.1007/BF02015376MaRDI QIDQ4121884zbMATH OpenFDO

Authors 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) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Recursive functions and relations, subrecursive hierarchies (03D20)

Cites work

• scientific article; zbMATH DE number 3167394 (Why is no real title available?)
• scientific article; zbMATH DE number 3208252 (Why is no real title available?)
• Concatenation as a basis for arithmetic
• Primitiv-Rekursive Funktionen auf Termmengen
• Primitiv-Rekursive Funktionen Über Einem Bereich Endlicher Mengen
• Rekursive Wortfunktionen

Cited in

(1)

• Automata and concurrency

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

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