Automata-Based Termination Proofs.

Radu Iosif Adam Rogalewicz

Published in: CIAA (2009)

Keyphrases

term rewriting
theorem proving
theorem prover
formal proof
formal proofs
rewrite systems
natural deduction
automated theorem provers
equational theories
active rules
control system
multiscale
sequent calculus
databases
cut elimination
natural language
artificial intelligence