An Order-Sorted Approach to Algebraic Computation

• Authors:

• Anthony C. Hearn;Eberhard Schrüfer

• Affiliations:

• -;-

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