Login / Signup

Groups definable in Presburger arithmetic.

Juan Pablo Acosta
Published in: Ann. Pure Appl. Log. (2025)
Keyphrases
  • presburger arithmetic
  • quantifier elimination
  • first order logic
  • linear programming
  • decision procedures