Gerald E. Peterson

Publication Activity (10 Years)

Years Active: 1980-1995
Publications (10 Years): 0

Publications

Gerald E. Peterson, Daniel C. St. Clair, Stephen R. Aylward, William E. Bond
Using Taguchi's method of experimental design to control errors in layered perceptrons. IEEE Trans. Neural Networks 6 (4) (1995)
Gerald E. Peterson
Constrained term-rewriting induction with applications. Methods Log. Comput. Sci. 1 (4) (1994)
John Pais, Gerald E. Peterson
Using Forcing to Prove Completeness of Resolution and Paramodulation. J. Symb. Comput. 11 (1/2) (1991)
Gerald E. Peterson
Solving Term Inequalities. AAAI (1990)
Gerald E. Peterson
Complete Sets of Reductions with Constraints. CADE (1990)
Timothy B. Baird, Gerald E. Peterson, Ralph W. Wilkerson
Complete Sets of Reductions Modulo Associativity, Commutativity and Identity. RTA (1989)
Barbara A. Smith, Ralph W. Wilkerson, Gerald E. Peterson
Automated Circuit Diagnosis Using First Order Logic Tools. IEA/AIE (Vol. 1) (1988)
Gerald E. Peterson
A Technique for Establishing Completeness Results in Theorem Proving with Equality. SIAM J. Comput. 12 (1) (1983)
Gerald E. Peterson
Using generalized programs in the teaching of computer science. SIGCSE (1983)
Gerald E. Peterson, Mark E. Stickel
Complete Sets of Reductions for Some Equational Theories. J. ACM 28 (2) (1981)
Gerald E. Peterson
A Technique for Establishing Completeness Results in Theorem Proving with Equality. AAAI (1980)