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]
@inproceedings{MiddeldorpMNWZ11, title = {Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems}, author = {Aart Middeldorp and Georg Moser and Friedrich Neurauter and Johannes Waldmann and Harald Zankl}, year = {2011}, doi = {10.1007/978-3-642-21493-6_1}, url = {http://dx.doi.org/10.1007/978-3-642-21493-6_1}, tags = {analysis, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/MiddeldorpMNWZ11}, cites = {0}, citedby = {0}, pages = {1-20}, booktitle = {Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings}, editor = {Franz Winkler}, volume = {6742}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-21492-9}, }