 | 2009 |
|---|
| 5 |       | Pascal Cuoq,
Julien Signoles,
Patrick Baudin,
Richard Bonichon,
Géraud Canet,
Loïc Correnson,
Benjamin Monate,
Virgile Prevosto,
Armand Puccetti:
Experience report: OCaml for an industrial-strength static analysis framework.
ICFP 2009: 281-286 |
| 2007 |
|---|
| 4 | | Richard Bonichon,
David Delahaye,
Damien Doligez:
Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs.
LPAR 2007: 151-165 |
| 2006 |
|---|
| 3 | | Richard Bonichon,
Olivier Hermant:
A Semantic Completeness Proof for TaMeD.
LPAR 2006: 167-181 |
| 2 | | Richard Bonichon,
Olivier Hermant:
On Constructive Cut Admissibility in Deduction Modulo.
TYPES 2006: 33-47 |
| 2004 |
|---|
| 1 | | Richard Bonichon:
TaMeD: A Tableau Method for Deduction Modulo.
IJCAR 2004: 445-459 |
