Search the dblp DataBase

Publications of Author

1. Sean McLaughlin
   An Interpretation of Isabelle/HOL in HOL Light. [Citation Graph (0, 0)][DBLP]
   IJCAR, 2006, pp:192-204 [Conf]
   
2. Sean McLaughlin, John Harrison
   A Proof-Producing Decision Procedure for Real Arithmetic. [Citation Graph (0, 0)][DBLP]
   CADE, 2005, pp:295-314 [Conf]
   
3. Kathy Bohrer, Xuan Liu, Sean McLaughlin, Edith Schonberg, Moninder Singh
   Object Oriented XML Query by Example. [Citation Graph (0, 0)][DBLP]
   ER (Workshops), 2003, pp:323-329 [Conf]
   
4. Jim Grundy, Thomas F. Melham, Sava Krstic, Sean McLaughlin
   Tool Building Requirements for an API to First-Order Solvers. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:15-26 [Journal]
   
5. Sean McLaughlin, Clark Barrett, Yeting Ge
   Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:43-51 [Journal]
   
6. 
   Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method. [Citation Graph (, )][DBLP]
   
   
7. 
   Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic. [Citation Graph (, )][DBLP]
   
   
8. 
   Flyspeck in a Semantic Wiki. [Citation Graph (, )][DBLP]
   
   
9. 
   A Revision of the Proof of the Kepler Conjecture. [Citation Graph (, )][DBLP]