Matrix analysis
On the degree of ambiguity of finite automata
Theoretical Computer Science
Term rewriting and all that
On tree automata that certify termination of left-linear term rewriting systems
Information and Computation
Matrix Interpretations for Proving Termination of Term Rewriting
Journal of Automated Reasoning
Arctic Termination ...Below Zero
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
Automated Complexity Analysis Based on the Dependency Pair Method
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Elements of Automata Theory
Handbook of Weighted Automata
Revisiting matrix interpretations for polynomial derivational complexity of term rewriting
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Satisfiability of non-linear (Ir)rational arithmetic
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Matrix interpretations for polynomial derivational complexity of rewrite systems
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Synthesis of sup-interpretations: A survey
Theoretical Computer Science
Hi-index | 0.00 |
Matrix interpretations can be used to bound the derivational complexity of term rewrite systems. In particular, triangular matrix interpretations over the natural numbers are known to induce polynomial upper bounds on the derivational complexity of (compatible) rewrite systems. Recently two different improvements were proposed, based on the theory of weighted automata and linear algebra. In this paper we strengthen and unify these improvements by using joint spectral radius theory.