Conferences in DBLP

International Conference on Theorem Proving in Higher Order Logics (tphol)
2006 (conf/tphol/2006provers)

1. Freek Wiedijk
   Introduction. [Citation Graph (0, 0)][DBLP]
   The Seventeen Provers of the World, 2006, pp:1-9 [Conf]
   
2. Henk Barendregt
   Informal. [Citation Graph (0, 0)][DBLP]
   The Seventeen Provers of the World, 2006, pp:10- [Conf]
   
3. John Harrison, Konrad Slind, Rob Arthan
   HOL. [Citation Graph (0, 0)][DBLP]
   The Seventeen Provers of the World, 2006, pp:11-19 [Conf]
   
4. Andrzej Trybulec
   Mizar. [Citation Graph (0, 0)][DBLP]
   The Seventeen Provers of the World, 2006, pp:20-23 [Conf]
   
5. Bart Jacobs, John M. Rushby
   PVS. [Citation Graph (0, 0)][DBLP]
   The Seventeen Provers of the World, 2006, pp:24-27 [Conf]
   
6. Laurent Théry, Pierre Letouzey, Georges Gonthier
   Coq. [Citation Graph (0, 0)][DBLP]
   The Seventeen Provers of the World, 2006, pp:28-35 [Conf]
   
7. Michael Beeson, William McCune
   Otter/Ivy. [Citation Graph (0, 0)][DBLP]
   The Seventeen Provers of the World, 2006, pp:36-40 [Conf]
   
8. Markus Wenzel, Larry Paulson
   Isabelle/Isar. [Citation Graph (0, 0)][DBLP]
   The Seventeen Provers of the World, 2006, pp:41-49 [Conf]
   
9. Thierry Coquand
   Alfa/Agda. [Citation Graph (0, 0)][DBLP]
   The Seventeen Provers of the World, 2006, pp:50-54 [Conf]
   
10. Ruben Gamboa
    ACL2. [Citation Graph (0, 0)][DBLP]
    The Seventeen Provers of the World, 2006, pp:55-66 [Conf]
    
11. Christophe Raffalli, Paul Rozière
    PhoX. [Citation Graph (0, 0)][DBLP]
    The Seventeen Provers of the World, 2006, pp:67-71 [Conf]
    
12. William M. Farmer
    IMPS. [Citation Graph (0, 0)][DBLP]
    The Seventeen Provers of the World, 2006, pp:72-87 [Conf]
    
13. Norman D. Megill
    Metamath. [Citation Graph (0, 0)][DBLP]
    The Seventeen Provers of the World, 2006, pp:88-95 [Conf]
    
14. Wolfgang Windsteiger, Bruno Buchberger, Markus Rosenkranz
    Theorema. [Citation Graph (0, 0)][DBLP]
    The Seventeen Provers of the World, 2006, pp:96-107 [Conf]
    
15. Conor McBride
    Lego. [Citation Graph (0, 0)][DBLP]
    The Seventeen Provers of the World, 2006, pp:108-115 [Conf]
    
16. Paul Jackson
    Nuprl. [Citation Graph (0, 0)][DBLP]
    The Seventeen Provers of the World, 2006, pp:116-126 [Conf]
    
17. Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann
    Omega. [Citation Graph (0, 0)][DBLP]
    The Seventeen Provers of the World, 2006, pp:127-141 [Conf]
    
18. Dominique Cansell
    B Method. [Citation Graph (0, 0)][DBLP]
    The Seventeen Provers of the World, 2006, pp:142-150 [Conf]
    
19. Helmut Schwichtenberg
    Minlog. [Citation Graph (0, 0)][DBLP]
    The Seventeen Provers of the World, 2006, pp:151-157 [Conf]