dblp.uni-trier.dewww.uni-trier.de

Gerald E. Peterson Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1991
8 John Pais, Gerald E. Peterson: Using Forcing to Prove Completeness of Resolution and Paramodulation. J. Symb. Comput. 11(1/2): 3-19 (1991)
1990
7 Gerald E. Peterson: Solving Term Inequalities. AAAI 1990: 258-263
6EEGerald E. Peterson: Complete Sets of Reductions with Constraints. CADE 1990: 381-395
1989
5EETimothy B. Baird, Gerald E. Peterson, Ralph W. Wilkerson: Complete Sets of Reductions Modulo Associativity, Commutativity and Identity. RTA 1989: 29-44
1988
4EEBarbara A. Smith, Ralph W. Wilkerson, Gerald E. Peterson: Automated Circuit Diagnosis Using First Order Logic Tools. IEA/AIE (Vol. 1) 1988: 456-465
1983
3 Gerald E. Peterson: A Technique for Establishing Completeness Results in Theorem Proving with Equality. SIAM J. Comput. 12(1): 82-100 (1983)
1981
2EEGerald E. Peterson, Mark E. Stickel: Complete Sets of Reductions for Some Equational Theories. J. ACM 28(2): 233-264 (1981)
1980
1 Gerald E. Peterson: A Technique for Establishing Completeness Results in Theorem Proving with Equality. AAAI 1980: 87-89

Coauthor Index

1Timothy B. Baird [5]
2John Pais [8]
3Barbara A. Smith [4]
4Mark E. Stickel [2]
5Ralph W. Wilkerson [4] [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)