Gilles Chaminade
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1988–1990
Best venue rank
National
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1990 | AIMSA | The Use of Renaming to Improve the Effeciency of Clausal Theorem Proving. | Thierry Boy de la Tour, Gilles Chaminade |
| 1988 | CADE | Some Tools for an Inference Laboratory (ATINF). | Thierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade |
| 1988 | ECAI | Some Computational Aspects of an Order-Sorted Calculus: Order-Sorted Unification Using Compact Representation of Clauses. | Gilles Chaminade |
| 1988 | STACS | Some Tools for an Inference Laboratory (ATINF). | Thierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade |