Trudy Weibel

Publication Activity (10 Years)

Years Active: 1991-1997
Publications (10 Years): 0

Publications

Trudy Weibel
An Order-Sorted Resolution in Theory and Practice. Theor. Comput. Sci. 185 (2) (1997)
Trudy Weibel, Gaston H. Gonnet
An Assume Facility for CAS, with a Sample Implementation for Maple. DISCO (1992)
Trudy Weibel
Extension of Combinatory Logic to a Theory of Combinatory Representation. Theor. Comput. Sci. 97 (1) (1992)
Trudy Weibel, Gaston H. Gonnet
An Algebra of Properties. ISSAC (1991)