Complexity of Conditional Term Rewriting.

Cynthia Kop Aart Middeldorp Thomas Sternagel

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

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
knuth bendix
worst case
rewrite systems
computational complexity
database systems
decision problems
reinforcement learning
computational cost
first order logic