Search the dblp DataBase

Publications of Author

1. Evelyne Contejean, Pierre Corbineau
   Reflecting Proofs in First-Order Logic with Equality. [Citation Graph (0, 0)][DBLP]
   CADE, 2005, pp:7-22 [Conf]
   
2. Pierre Corbineau
   First-Order Reasoning in the Calculus of Inductive Constructions. [Citation Graph (0, 0)][DBLP]
   TYPES, 2003, pp:162-177 [Conf]
   
3. Pierre Corbineau, Cezary Kaliszyk
   Cooperative Repositories for Formal Proofs. [Citation Graph (0, 0)][DBLP]
   Calculemus/MKM, 2007, pp:221-234 [Conf]
   
4. Pierre Corbineau
   Deciding Equality in the Constructor Theory. [Citation Graph (0, 0)][DBLP]
   TYPES, 2006, pp:78-92 [Conf]
   
5. 
   A Declarative Language for the Coq Proof Assistant. [Citation Graph (, )][DBLP]
   
   
6. 
   A New Elimination Rule for the Calculus of Inductive Constructions. [Citation Graph (, )][DBLP]
   
   
7. 
   A Real Semantic Web for Mathematics Deserves a Real Semantics. [Citation Graph (, )][DBLP]