Termination of Rewriting with Right-Flat Rules - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Guillem Godoy, Eduard Huntingford, Ashish Tiwari. Termination of Rewriting with Right-Flat Rules. In Franz Baader, editor, Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings. Volume 4533 of Lecture Notes in Computer Science, pages 200-213, Springer, 2007. [doi]

This author has not been identified. Look up 'Guillem Godoy' in GoogleThis author has not been identified. Look up 'Eduard Huntingford' in GoogleThis author has not been identified. Look up 'Ashish Tiwari' in Google

runs on WebDSL