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

Florent Guépin, Christoph Haase, James Worrell
January 2019
PDF DOI
Type
Conference paper
Publication
Logic in Computer Science, LICS