Approaching Arithmetic Theories with Finite−State Automata
Christoph Haase
Book Title
Language and Automata Theory and Applications‚ LATA
Pages
1–11
Publisher
Springer
Series
Lect. Notes Comp. Sci.
Volume
12038
Year
2020
Christoph Haase