Login / Signup

On Presburger Arithmetic Extended with Modulo Counting Quantifiers.

Peter HabermehlDietrich Kuske
Published in: FoSSaCS (2015)
Keyphrases
  • presburger arithmetic
  • quantifier elimination
  • algebraic structure
  • natural language
  • expert systems