Travelled to:1 × Italy
1 × The Netherlands
Collaborated with:∅ D.Chrétien Y.Viémont T.Larue R.Legoff G.Gardarin J.Cheiney G.Kiernan H.Stora
Talks about:base (2) géosabrina (1) muscadet (1) knowledg (1) theorem (1) spatial (1) complex (1) server (1) prover (1) object (1)
Person: Dominique Pastre
DBLP: Pastre:Dominique
Contributed to:
2001
1994
1989Wrote 3 papers:
- IJCAR-2001-Pastre #deduction #knowledge-based #proving #theorem proving
- MUSCADET 2.3: A Knowledge-Based Theorem Prover Based on Natural Deduction (DP), pp. 685–689.
- SAC-1994-ChretienVLLP #design
- The GéoSabrina design: the way to build a GIS above a spatial data server (DC, YV, TL, RL, DP), pp. 328–332.
- VLDB-1989-GardarinCKPS #relational
- Managing Complex Objects in an Extensible Relational DBMS (GG, JPC, GK, DP, HS), pp. 55–65.