SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Siva Anantharaman, Jieh Hsiang, Jalel Mzali. SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion. In Nachum Dershowitz, editor, Rewriting Techniques and Applications, 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings. Volume 355 of Lecture Notes in Computer Science, pages 533-537, Springer, 1989.

This author has not been identified. Look up 'Siva Anantharaman' in GoogleThis author has not been identified. Look up 'Jieh Hsiang' in GoogleThis author has not been identified. Look up 'Jalel Mzali' in Google

runs on WebDSL