Proving Quadratic Derivational Complexities Using Context Dependent Interpretations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Georg Moser, Andreas Schnabl. Proving Quadratic Derivational Complexities Using Context Dependent Interpretations. In Andrei Voronkov, editor, Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings. Volume 5117 of Lecture Notes in Computer Science, pages 276-290, Springer, 2008. [doi]

This author has not been identified. Look up 'Georg Moser' in GoogleThis author has not been identified. Look up 'Andreas Schnabl' in Google

runs on WebDSL