C. Cordell Green
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
1969–1979
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1979 | IJCAI | Results in Knowledge-Based Program Synthesis. | C. Cordell Green, Richard P. Gabriel, Elaine Kant, Beverly I. Kedzierski, Brian P. McCune, Jorge V. Phillips, Steve Tappel, Stephen J. Westfold |
| 1976 | ICSE | The Design of the PSI Program Synthesis System. | C. Cordell Green |
| 1975 | IJCAI | Some Rules For The Automatic Synthesis Of Programs. | C. Cordell Green, David R. Barstow |
| 1975 | IJCAI | Inferring LISP Programs From Examples. | David E. Shaw, William R. Swartout, C. Cordell Green |
| 1969 | IJCAI | Application of Theorem Proving to Problem Solving. | C. Cordell Green |