| 2008 |
|---|
| 5 | EE | Frédéric Blanqui,
Jean-Pierre Jouannaud,
Pierre-Yves Strub:
From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-order Decision Procedures.
IFIP TCS 2008: 349-365 |
| 4 | EE | Frédéric Blanqui,
Jean-Pierre Jouannaud,
Pierre-Yves Strub:
From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures
CoRR abs/0804.3762: (2008) |
| 2007 |
|---|
| 3 | EE | Frédéric Blanqui,
Jean-Pierre Jouannaud,
Pierre-Yves Strub:
Building Decision Procedures in the Calculus of Inductive Constructions.
CSL 2007: 328-342 |
| 2 | EE | Frédéric Blanqui,
Jean-Pierre Jouannaud,
Pierre-Yves Strub:
Building Decision Procedures in the Calculus of Inductive Constructions
CoRR abs/0707.1266: (2007) |
| 2001 |
|---|
| 1 | EE | Thierry Géraud,
Pierre-Yves Strub,
Jérôme Darbon:
Color image segmentation based on automatic morphological clustering.
ICIP (3) 2001: 70-73 |
