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

Laurent Théry (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Bertot, Laurent Théry: Dependent Types, Theorem Proving, and Applications for a Verifying Compiler. VSTTE 2005: 173-181
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Bertot, Gilles Dowek, André Hirschowitz, C. Paulin, Laurent Théry: Theorem Proving in Higher Order Logics, 12th International Conference, TPHOLs'99, Nice, France, September, 1999, Proceedings Springer 1999
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Bertot, Laurent Théry: A Generic Approach to Building User Interfaces for Theorem Provers. J. Symb. Comput. 25(2): 161-194 (1998)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Bertot, Gilles Kahn, Laurent Théry: Proof by Pointing. TACS 1994: 141-160
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaurent Théry, Yves Bertot, Gilles Kahn: Real theorem provers deserve real user-interfaces. SDE 1992: 120-129

Selection of 5 from 31 records - Laurent Théry has 32 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page