Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. It may be one of the following persons:

Aart Middeldorp

Look up 'Aart Middeldorp' in GoogleThis author has not been identified. Look up 'Georg Moser' in GoogleThis author has not been identified. Look up 'Friedrich Neurauter' in GoogleThis author has not been identified. Look up 'Johannes Waldmann' in GoogleThis author has not been identified. Look up 'Harald Zankl' in Google

runs on WebDSL