Timothy B. Baird

According to our database, Timothy B. Baird authored at least 3 papers between 1989 and 1991.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1991

Termination via conditional reductions.

Timothy B. Baird, Ralph W. Wilkerson

Proceedings of the 19th annual conference on Computer Science, 1991

1990

STP: A Simple Theorem Prover for IBM-PC Compatible Computers.

Blayne E. Mayfield, Timothy B. Baird

Proceedings of the 1990 ACM SIGSMALL/PC Symposium on Small Systems, 1990

1989

Complete Sets of Reductions Modulo Associativity, Commutativity and Identity.

Timothy B. Baird, Gerald E. Peterson, Ralph W. Wilkerson

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989