COMTES - An Experimental Environment for the Completion of Term Rewriting Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jürgen Avenhaus, Klaus Madlener, Joachim Steinbach. COMTES - An Experimental Environment for the Completion of Term Rewriting Systems. 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 542-546, Springer, 1989.

This author has not been identified. Look up 'Jürgen Avenhaus' in GoogleThis author has not been identified. Look up 'Klaus Madlener' in GoogleThis author has not been identified. Look up 'Joachim Steinbach' in Google

runs on WebDSL