| |
| 2008 | ||
|---|---|---|
| 6 | EE | Cezary Kaliszyk, Pierre Corbineau, Freek Wiedijk, James McKinna, Herman Geuvers: A Real Semantic Web for Mathematics Deserves a Real Semantics. SemWiki 2008 |
| 2007 | ||
| 5 | EE | Pierre Corbineau, Cezary Kaliszyk: Cooperative Repositories for Formal Proofs. Calculemus/MKM 2007: 221-234 |
| 4 | EE | Pierre Corbineau: A Declarative Language for the Coq Proof Assistant. TYPES 2007: 69-84 |
| 2006 | ||
| 3 | EE | Pierre Corbineau: Deciding Equality in the Constructor Theory. TYPES 2006: 78-92 |
| 2005 | ||
| 2 | EE | Evelyne Contejean, Pierre Corbineau: Reflecting Proofs in First-Order Logic with Equality. CADE 2005: 7-22 |
| 2003 | ||
| 1 | EE | Pierre Corbineau: First-Order Reasoning in the Calculus of Inductive Constructions. TYPES 2003: 162-177 |
| 1 | Evelyne Contejean | [2] |
| 2 | Herman Geuvers | [6] |
| 3 | Cezary Kaliszyk | [5] [6] |
| 4 | James McKinna | [6] |
| 5 | Freek Wiedijk | [6] |