Approaching arithmetic theories with finite-state automata

DOI10.1007/978-3-030-40608-0_3zbMath1484.03122OpenAlexW3006700193MaRDI QIDQ782555

Christoph Haase

Publication date: 27 July 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-40608-0_3

zbMATH Keywords

reachabilityautomatic structuresPresburger arithmeticBüchi arithmetic

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) First-order arithmetic and fragments (03F30)

This page was built for publication: Approaching arithmetic theories with finite-state automata