dblp.uni-trier.dewww.uni-trier.de

Richard Bonichon

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
4EERichard Bonichon, David Delahaye, Damien Doligez: Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs. LPAR 2007: 151-165
2006
3EERichard Bonichon, Olivier Hermant: A Semantic Completeness Proof for TaMeD. LPAR 2006: 167-181
2EERichard Bonichon, Olivier Hermant: On Constructive Cut Admissibility in Deduction Modulo. TYPES 2006: 33-47
2004
1EERichard Bonichon: TaMeD: A Tableau Method for Deduction Modulo. IJCAR 2004: 445-459

Coauthor Index

1David Delahaye [4]
2Damien Doligez [4]
3Olivier Hermant [2] [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)