Rewrite Rule Theory and Abstract Data Type Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David R. Musser, Deepak Kapur. Rewrite Rule Theory and Abstract Data Type Analysis. In Jacques Calmet, editor, Computer Algebra, EUROCAM 82, European Computer Algebra Conference, Marseille, France, 5-7 April, 1982, Proceedings. Volume 144 of Lecture Notes in Computer Science, pages 77-90, Springer, 1982.

This author has not been identified. Look up 'David R. Musser' in GoogleThis author has not been identified. Look up 'Deepak Kapur' in Google

runs on WebDSL