Login / Signup

Proofs of Termination of Rewrite Systems for Polytime Functions.

Toshiyasu AraiGeorg Moser
Published in: FSTTCS (2005)
Keyphrases
  • rewrite systems
  • term rewriting
  • theorem proving
  • theorem prover
  • quantifier free
  • knuth bendix
  • active rules
  • first order logic
  • artificial intelligence
  • operational semantics