Skip to main content

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