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

Type
Publication
Logic in Computer Science, LICS