Login / Signup

On Presburger arithmetic extended with non-unary counting quantifiers.

Peter HabermehlDietrich Kuske
Published in: CoRR (2022)
Keyphrases
  • presburger arithmetic
  • quantifier elimination
  • first order logic
  • algebraic structure
  • natural language