Trudy Weibel

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

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

Coauthor Index

Last update Wed May 22 12:52:56 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page