| |
| 2004 | ||
|---|---|---|
| 4 | EE | Christophe Dehlinger, Jean-François Dufourd: Formalizing generalized maps in Coq. Theor. Comput. Sci. 323(1-3): 351-397 (2004) |
| 3 | EE | Christophe Dehlinger, Jean-François Dufourd: Formalizing the trading theorem in Coq. Theor. Comput. Sci. 323(1-3): 399-442 (2004) |
| 2002 | ||
| 2 | EE | Christophe Dehlinger, Jean-François Dufourd: Formalizing the Trading Theorem for the Classification of Surfaces. TPHOLs 2002: 148-163 |
| 2000 | ||
| 1 | EE | Christophe Dehlinger, Jean-François Dufourd, Pascal Schreck: Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry. Automated Deduction in Geometry 2000: 306-324 |
| 1 | Jean-François Dufourd | [1] [2] [3] [4] |
| 2 | Pascal Schreck | [1] |