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

Florent Guépin Christoph Haase James Worrell

Published in: LICS (2019)

Keyphrases

linear systems
database
databases
computer vision
arithmetic operations
data sets
case study
image sequences
logic programs
closed form
design theory