Trudy Weibel

According to our database¹, Trudy Weibel authored at least 4 papers between 1991 and 1997.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1997

An Order-Sorted Resolution in Theory and Practice.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1997

1992

Extension of Combinatory Logic to a Theory of Combinatory Representation.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1992

An Assume Facility for CAS, with a Sample Implementation for Maple.

[BibT_eX]

[DOI]

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1992

1991

An Algebra of Properties.

[BibT_eX]

[DOI]

Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, 1991