Login / Signup
A term-rewriting characterization of PSPACE
Naohi Eguchi
Published in:
CoRR (2012)
Keyphrases
</>
term rewriting
theorem proving
theorem prover
decision procedures
rewrite systems
operational semantics
knuth bendix
automated reasoning
inference rules
databases
cooperative
machine learning
temporal logic
online learning
semi supervised
np hard
pspace complete
database systems