Login / Signup
Decision Procedures for Automating Termination Proofs.
Ruzica Piskac
Thomas Wies
Published in:
VMCAI (2011)
Keyphrases
</>
decision procedures
theorem proving
modal logic
automated reasoning
presburger arithmetic
reasoning problems
conjunctive queries
satisfiability problem
query containment
active rules
quantified boolean formulas
database
artificial intelligence
expert systems
np complete