Rewrite Rule Theory and Abstract Data Type Analysis - researchr publication

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.

Abstract is missing.

runs on WebDSL