A term rewriting characterization of the functions computable in polynomial space.

Published in: Arch. Math. Log. (2002)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
knuth bendix
data sets
machine learning
email
basis functions
rewrite systems