Timothy B. Baird

Publication Activity (10 Years)

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

Publications

Timothy B. Baird, Ralph W. Wilkerson
Termination via conditional reductions. ACM Conference on Computer Science (1991)
Blayne E. Mayfield, Timothy B. Baird
STP: A Simple Theorem Prover for IBM-PC Compatible Computers. SIGSMALL/PC Symposium (1990)
Timothy B. Baird, Gerald E. Peterson, Ralph W. Wilkerson
Complete Sets of Reductions Modulo Associativity, Commutativity and Identity. RTA (1989)