Login / Signup

There are no Intermediate Structures between the Group of Integers and Presburger Arithmetic.

Gabriel Conant
Published in: J. Symb. Log. (2018)
Keyphrases
  • presburger arithmetic
  • quantifier elimination
  • algebraic structure
  • database
  • knowledge base
  • expressive power
  • theorem proving