Confluence of Orthogonal Nominal Rewriting Systems Revisited - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto 0001, Yoshihito Toyama. Confluence of Orthogonal Nominal Rewriting Systems Revisited. In Maribel Fernández, editor, 26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland. Volume 36 of LIPIcs, pages 301-317, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]

This author has not been identified. Look up 'Takaki Suzuki' in GoogleThis author has not been identified. Look up 'Kentaro Kikuchi' in GoogleThis author has not been identified. Look up 'Takahito Aoto 0001' in GoogleThis author has not been identified. Look up 'Yoshihito Toyama' in Google

runs on WebDSL