Aart Middeldorp, Georg Moser, Friedrich Neurauter, Johannes Waldmann, Harald Zankl. Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems. In Franz Winkler, editor, Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings. Volume 6742 of Lecture Notes in Computer Science, pages 1-20, Springer, 2011. [doi]
Abstract is missing.