Abstract Data Types and Rewriting Systems: Application to the Programming of Algebraic Abstract Data Types in Prolog

Marc Bergman, Pierre Deransart. Abstract Data Types and Rewriting Systems: Application to the Programming of Algebraic Abstract Data Types in Prolog. In Egidio Astesiano, Corrado Böhm, editors, CAAP 81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings. Volume 112 of Lecture Notes in Computer Science, pages 101-116, Springer, 1981.

Authors

Marc Bergman

This author has not been identified. Look up 'Marc Bergman' in Google

Pierre Deransart

This author has not been identified. Look up 'Pierre Deransart' in Google