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