Arithmetische Prädikate über einem Bereich endlicher Automaten

DOI10.1007/BF02015376zbMATH Open0352.02030MaRDI QIDQ4121884FDOQ4121884

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

• Concatenation as a basis for arithmetic
• Title not available (Why is that?)
• Rekursive Wortfunktionen
• Title not available (Why is that?)
• Primitiv-Rekursive Funktionen Über Einem Bereich Endlicher Mengen
• Primitiv-Rekursive Funktionen auf Termmengen

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)