On the Expressiveness of Büchi Arithmetic

Christoph Haase, Jakub Różycki
January 2021
PDF Project DOI
Type
Conference paper
Publication
Foundations of Software Science and Computation Structures, FOSSACS