Dominique Pastre
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1978–2001
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | CADE | MUSCADET 2.3: A Knowledge-Based Theorem Prover Based on Natural Deduction. | Dominique Pastre |
| 1994 | SAC | The GoSabrina design: the way to build a GIS above a spatial data server. | Didier Chrtien, Yann Vimont, Thierry Larue, R. Legoff, Dominique Pastre |
| 1989 | VLDB | Managing Complex Objects in an Extensible Relational DBMS. | Georges Gardarin, Jean-Pierre Cheiney, Gerald Kiernan, Dominique Pastre, Herv Stora |
| 1982 | ECAI | A Language for Expressing Mathematical Knowledge in Automatic Theorem Proving. | Dominique Pastre |
| 1980 | GI | Knowledge-Based Theorem Proving. | Dominique Pastre |
| 1978 | ECAI | A Humanlike Approach for Automatic Theorem Proving. | Dominique Pastre |