| |
| 1997 | ||
|---|---|---|
| 4 | EE | Trudy Weibel: An Order-Sorted Resolution in Theory and Practice. Theor. Comput. Sci. 185(2): 393-410 (1997) |
| 1992 | ||
| 3 | Trudy Weibel, Gaston H. Gonnet: An Assume Facility for CAS, with a Sample Implementation for Maple. DISCO 1992: 95-103 | |
| 2 | Trudy Weibel: Extension of Combinatory Logic to a Theory of Combinatory Representation. Theor. Comput. Sci. 97(1): 157-173 (1992) | |
| 1991 | ||
| 1 | EE | Trudy Weibel, Gaston H. Gonnet: An Algebra of Properties. ISSAC 1991: 352-359 |
| 1 | Gaston H. Gonnet | [1] [3] |