Isabelle-91
- 1 January 1992
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Type classes and overloading resolution via order-sorted unificationPublished by Springer Nature ,1991
- The foundation of a generic theorem proverJournal of Automated Reasoning, 1989
- Seventy-five problems for testing automatic theorem proversJournal of Automated Reasoning, 1986
- A unification algorithm for typed