Login / Signup
Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems.
Aart Middeldorp
Georg Moser
Friedrich Neurauter
Johannes Waldmann
Harald Zankl
Published in:
CAI (2011)
Keyphrases
</>
complexity analysis
rewrite systems
quantifier free
first order logic
theoretical analysis
lower bound
knuth bendix
term rewriting
active rules
query language
computational complexity
information systems
spatial databases
theorem proving
query processing
knowledge base
artificial intelligence