Tree Automata Make Ordinal Theory Easy
From MaRDI portal
Publication:5385993
DOI10.1007/11944836_27zbMath1177.03044OpenAlexW1562931435MaRDI QIDQ5385993
Publication date: 17 April 2008
Published in: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11944836_27
Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)