Integrating Computer Algebra and Reasoning through the Type System of Aldor

• Authors:

• Erik Poll;Simon Thompson

• Affiliations:

• -;-

• Venue:
• FroCoS '00 Proceedings of the Third International Workshop on Frontiers of Combining Systems
• Year:
• 2000