Complexity Hierarchies and Higher-order Cons-free Term Rewriting.

Cynthia Kop Jakob Grue Simonsen

Published in: Log. Methods Comput. Sci. (2017)

Keyphrases

term rewriting
higher order
theorem proving
theorem prover
natural images
operational semantics
high order
decision problems
pairwise
first order logic
rewrite systems
intelligent systems
random variables
space complexity