Gilles Kahn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1971–1987
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1987 | STACS | Natural Semantics. | Gilles Kahn |
| 1980 | CC | On the formal definition of ADA. | Vronique Donzeau-Gouge, Gilles Kahn, Bernard Lang |
| 1974 | ICALP | Algorithmes d'equivalence et de reduction a des expressions minimales dans une classe d'equations recursives simples. | Bruno Courcelle, Gilles Kahn, Jean Vuillemin |
| 1971 | SOSP | An Approach to System Correctness. | Gilles Kahn |