Login / Signup
Proofs of Termination of Rewrite Systems for Polytime Functions.
Toshiyasu Arai
Georg 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