Gerald E. Peterson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1980–1990
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1990 | AAAI | Solving Term Inequalities. | Gerald E. Peterson |
| 1990 | CADE | Complete Sets of Reductions with Constraints. | Gerald E. Peterson |
| 1983 | SIGCSE | Using generalized programs in the teaching of computer science. | Gerald E. Peterson |
| 1980 | AAAI | A Technique for Establishing Completeness Results in Theorem Proving with Equality. | Gerald E. Peterson |