Timothy B. Baird

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1990

2 Blayne E. Mayfield, Timothy B. Baird: STP: A Simple Theorem Prover for IBM-PC Compatible Computers. SIGSMALL/PC Symposium 1990: 98-105

1989

1 Timothy B. Baird, Gerald E. Peterson, Ralph W. Wilkerson: Complete Sets of Reductions Modulo Associativity, Commutativity and Identity. RTA 1989: 29-44

	1990
2		Blayne E. Mayfield, Timothy B. Baird: STP: A Simple Theorem Prover for IBM-PC Compatible Computers. SIGSMALL/PC Symposium 1990: 98-105
	1989
1		Timothy B. Baird, Gerald E. Peterson, Ralph W. Wilkerson: Complete Sets of Reductions Modulo Associativity, Commutativity and Identity. RTA 1989: 29-44

Coauthor Index