Login / Signup

On Presburger arithmetic extended with non-unary counting quantifiers.

Peter HabermehlDietrich Kuske
Published in: Log. Methods Comput. Sci. (2023)
Keyphrases
  • artificial intelligence
  • presburger arithmetic
  • quantifier elimination
  • software engineering
  • first order logic
  • query processing
  • expressive power