Proving Confluence of Term Rewriting Systems Automatically - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Takahito Aoto, Junichi Yoshida, Yoshihito Toyama. Proving Confluence of Term Rewriting Systems Automatically. 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 93-102, Springer, 2009. [doi]

This author has not been identified. Look up 'Takahito Aoto' in GoogleThis author has not been identified. Look up 'Junichi Yoshida' in GoogleThis author has not been identified. Look up 'Yoshihito Toyama' in Google

runs on WebDSL