Christoph Haase
Home
Biography
Publications
Students
Contact
Florent Guépin
Latest
On the Existential Theories of Büchi Arithmetic and Linear $p$-adic Fields
Cite
×