Login / Signup
Complexity Hierarchies and Higher-order Cons-free Term Rewriting.
Cynthia Kop
Jakob Grue Simonsen
Published in:
CoRR (2016)
Keyphrases
</>
term rewriting
higher order
theorem prover
theorem proving
high order
low order
rewrite systems
knuth bendix
pairwise
natural images
artificial intelligence
relational databases
markov random field
inference rules