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