28967 articles – 22397 Notices  [english version]
.:. Consultation > Par auteur > Werner .:.
10 documents classés par :
fulltext access A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses
Armand M., Faure G., Grégoire B., Keller C., Thery L., Werner B.
Dans CPP - Certified Programs and Proofs - First International Conference - 2011 7086 (2011) 135-150 [hal-00639130 - version 1]
fulltext access Importing HOL Light into Coq
Keller C., Werner B.
Dans ITP - Interactive Theorem Proving, First International Conference - 2010 6172 (2010) 307-322 [inria-00520604 - version 1]
fulltext access La Vérité et la Machine
Werner B.
Dans Images des Mathématiques 2006, cnrs (Ed.) (2006) [inria-00131058 - version 1]
fulltext access Proof Normalization Modulo
Dowek G., Werner B.
N° RR-3542 (1998) [inria-00073143 - version 1]
fulltext access A Generic Normalisation Proof for Pure Type Systems
melliès P.-A., Werner B.
N° RR-3548 (1998) [inria-00073135 - version 1]
fulltext access The Coq Proof Assistant Reference Manual : Version 6.1
Barras B., Boutin S., Cornes C., Courant J., Filliâtre J.-C., Giménez E., Herbelin H., Huet G., Muñoz C., Murthy C. et al
N° RT-0203 (1997) [inria-00069968 - version 1]
fulltext access The Coq Proof Assistant, Reference Manual, Version 5.10
Cornes C., Courant J., Filliâtre J.-C., Huet G., Manoury P., Munoz C., Murthy C., Parent C., Paulin-Mohring C., Saibi A. et al
N° RT-0177 (1995) [inria-00069994 - version 1]
fulltext access Une Théorie des Constructions Inductives
Werner B.
Université Paris-Diderot - Paris VII (02/05/1994), Christine Paulin-Mohring (Dir.) [tel-00196524 - version 2]
fulltext access The Coq proof assistant user's guide : version 5.8
Dowek G., Felty A., Herbelin H., Huet G., Parent C., Paulin-Mohring C., Werner B., Murthy C.
N° RT-0154 (1993) [inria-00070014 - version 1]
fulltext access The Coq proof assistant user's guide : version 5.6
Dowek G., Felty A., Herbelin H., Huet G., Werner B., Paulin-Mohring C.
N° RT-0134 (1991) [inria-00070034 - version 1]