Jakub Różycki

Latest

• On the Expressiveness of Büchi Arithmetic