Dependency Pairs and Polynomial Path Orders - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Martin Avanzini, Georg Moser. Dependency Pairs and Polynomial Path Orders. In Ralf Treinen, editor, Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings. Volume 5595 of Lecture Notes in Computer Science, pages 48-62, Springer, 2009. [doi]

This author has not been identified. Look up 'Martin Avanzini' in GoogleThis author has not been identified. Look up 'Georg Moser' in Google

runs on WebDSL