Login / Signup
On First-order Cons-free Term Rewriting and PTIME.
Cynthia Kop
Published in:
CoRR (2017)
Keyphrases
</>
term rewriting
theorem proving
theorem prover
operational semantics
knuth bendix
rewrite systems
satisfiability problem
data complexity
database
databases
np complete
random variables
conjunctive queries