|
Search the dblp DataBase
Richard Bonichon:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Richard Bonichon
TaMeD: A Tableau Method for Deduction Modulo. [Citation Graph (0, 0)][DBLP] IJCAR, 2004, pp:445-459 [Conf]
- Richard Bonichon, Olivier Hermant
A Semantic Completeness Proof for TaMeD. [Citation Graph (0, 0)][DBLP] LPAR, 2006, pp:167-181 [Conf]
- Richard Bonichon, David Delahaye, Damien Doligez
Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs. [Citation Graph (0, 0)][DBLP] LPAR, 2007, pp:151-165 [Conf]
- Richard Bonichon, Olivier Hermant
On Constructive Cut Admissibility in Deduction Modulo. [Citation Graph (0, 0)][DBLP] TYPES, 2006, pp:33-47 [Conf]
Experience report: OCaml for an industrial-strength static analysis framework. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|