Two papers at ETAPS'21
Two papers, On the Expressiveness of Büchi Arithmetic (with Jakub Jakub Różycki) and Directed Reachability for Infinite-State Systems (with Michael Blondin and Philip Offtermatt) will be presented at ETAPS’21.
Two papers, On the Expressiveness of Büchi Arithmetic (with Jakub Jakub Różycki) and Directed Reachability for Infinite-State Systems (with Michael Blondin and Philip Offtermatt) will be presented at ETAPS’21.