Laurent Théry (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

18 Yves Bertot, Laurent Théry: Dependent Types, Theorem Proving, and Applications for a Verifying Compiler. VSTTE 2005: 173-181

11 Yves 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

8 Yves Bertot, Laurent Théry: A Generic Approach to Building User Interfaces for Theorem Provers. J. Symb. Comput. 25(2): 161-194 (1998)

5 Yves Bertot, Gilles Kahn, Laurent Théry: Proof by Pointing. TACS 1994: 141-160

1 Laurent 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 Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

18		Yves Bertot, Laurent Théry: Dependent Types, Theorem Proving, and Applications for a Verifying Compiler. VSTTE 2005: 173-181
11		Yves 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
8		Yves Bertot, Laurent Théry: A Generic Approach to Building User Interfaces for Theorem Provers. J. Symb. Comput. 25(2): 161-194 (1998)
5		Yves Bertot, Gilles Kahn, Laurent Théry: Proof by Pointing. TACS 1994: 141-160
1		Laurent Théry, Yves Bertot, Gilles Kahn: Real theorem provers deserve real user-interfaces. SDE 1992: 120-129