A New Term Rewriting Characterisation of ETIME functions.

Martin Avanzini Naohi Eguchi

Published in: CoRR (2013)

Keyphrases

term rewriting
theorem prover
theorem proving
operational semantics
rewrite systems
database
feature set
knuth bendix