Two papers at LICS'19

Two papers, Presburger arithmetic with stars, rational subsets of graph groups, and nested zero tests (with Georg Zetzsche) and On the Existential Theories of Büchi Arithmetic and Linear p-adic Fields (with Florent Guépin and James Worrell) will be presented at LICS’19 in Vancouver.

Christoph Haase
Associate Professor