Login / Signup

Termination of Triangular Integer Loops is Decidable.

Florian FrohnJürgen Giesl
Published in: CAV (2) (2019)
Keyphrases
  • first order logic
  • term rewriting
  • square grid
  • floating point
  • active rules
  • linear time temporal logic
  • real time
  • databases
  • integrity constraints
  • tensor product
  • term rewrite systems