A Polynomial Algorithm Testing Partial Confluence of Basic Semi-Thue Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Géraud Sénizergues. A Polynomial Algorithm Testing Partial Confluence of Basic Semi-Thue Systems. In Jieh Hsiang, editor, Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings. Volume 914 of Lecture Notes in Computer Science, pages 194-209, Springer, 1995.

This author has not been identified. Look up 'Géraud Sénizergues' in Google

runs on WebDSL