Florent Guépin

Latest

• On the Existential Theories of Büchi Arithmetic and Linear $p$-adic Fields