Login / Signup
Decision Procedures for Loop Detection.
René Thiemann
Jürgen Giesl
Peter Schneider-Kamp
Published in:
Deduction and Decision Procedures (2007)
Keyphrases
</>
decision procedures
modal logic
theorem proving
automated reasoning
reasoning problems
presburger arithmetic
conjunctive queries