Login / Signup

Decidability bounds for Presburger arithmetic extended by sine.

Eion BlanchardPhilipp Hieronymi
Published in: CoRR (2022)
Keyphrases
  • presburger arithmetic
  • decision procedures
  • quantifier elimination
  • algebraic structure
  • description logics
  • databases
  • constraint satisfaction
  • modal logic
  • automated reasoning