Login / Signup
On the Automata Size for Presburger Arithmetic.
Felix Klaedtke
Published in:
LICS (2004)
Keyphrases
</>
presburger arithmetic
cellular automata
quantifier elimination
databases
artificial intelligence
expert systems
decision procedures