On the Existential Theories of Bchi Arithmetic and Linear p-adic Fields.

Florent Gupin, Christoph Haase, James Worrell

Browse the full LICS paper archive.