On the Expressiveness of Büchi Arithmetic
Christoph Haase and Jakub Różycki
Book Title
Foundations of Software Science and Computation Structures‚ FOSSACS
Note
To appear
Publisher
Springer
Series
Lect. Notes Comp. Sci.
Year
2021
Christoph Haase and Jakub Różycki