Abstract specification of structures and methods in symbolic mathematical computation

• Authors:

• C. Limongelli;M. Temperini

• Affiliations:

• -;-

• Venue:
• Theoretical Computer Science - Selected papers on theoretical issues of design and implementation of symbolic computation systems
• Year:
• 1992