Paul Y. Gloess
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1980–1992
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1992 | SAS | On Boolean Feature Types. | Paul Y. Gloess, Yan-Nong Huang, Chumin Li, Miguel-Angel Oros |
| 1981 | ICSE | An Interactive Tool for Program Manipulation. | Anne Adam, Paul Y. Gloess, Jean-Pierre H. Laurent |
| 1980 | CADE | An Experiment with the Boyer-Moore Theorem Prover: A Proof of the Correctness of a Simple Parser of Expressions. | Paul Y. Gloess |
| 1980 | CADE | Adding Dynamic Paramodulation to Rewrite Algorithms. | Paul Y. Gloess, Jean-Pierre H. Laurent |