Complexity Analysis of Precedence Terminating Infinite Graph Rewrite Systems.

Published in: TERMGRAPH (2014)

Keyphrases

complexity analysis
rewrite systems
theoretical analysis
term rewriting
quantifier free
first order logic
knuth bendix
lower bound
computational complexity
active rules
machine learning
objective function
relational databases