Matching and Unification for the Object-Oriented Symbolic Computation System AlgBench

• Authors:

• Georgios Grivas;Roman Maeder

• Affiliations:

• -;-

• Venue:
• DISCO '93 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
• Year:
• 1993