Modular Complexity Analysis for Term Rewriting.

Harald Zankl Martin Korp

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

Keyphrases

complexity analysis
term rewriting
theorem proving
first order logic
theorem prover
operational semantics
theoretical analysis
rewrite systems
knuth bendix
lower bound
modular structure
computational complexity
inference rules
databases
training set
expert systems
machine learning