 | 2009 |
|---|
| 8 |       | Sean McLaughlin,
Frank Pfenning:
Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method.
CADE 2009: 230-244 |
| 2008 |
|---|
| 7 | | Sean McLaughlin,
Frank Pfenning:
Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic.
LPAR 2008: 174-181 |
| 6 | | Christoph Lange,
Sean McLaughlin,
Florian Rabe:
Flyspeck in a Semantic Wiki.
SemWiki 2008 |
| 2006 |
|---|
| 5 | | Sean McLaughlin:
An Interpretation of Isabelle/HOL in HOL Light.
IJCAR 2006: 192-204 |
| 4 | | Jim Grundy,
Thomas F. Melham,
Sava Krstic,
Sean McLaughlin:
Tool Building Requirements for an API to First-Order Solvers.
Electr. Notes Theor. Comput. Sci. 144(2): 15-26 (2006) |
| 3 | | Sean McLaughlin,
Clark Barrett,
Yeting Ge:
Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite.
Electr. Notes Theor. Comput. Sci. 144(2): 43-51 (2006) |
| 2005 |
|---|
| 2 | | Sean McLaughlin,
John Harrison:
A Proof-Producing Decision Procedure for Real Arithmetic.
CADE 2005: 295-314 |
| 2003 |
|---|
| 1 | | Kathy Bohrer,
Xuan Liu,
Sean McLaughlin,
Edith Schonberg,
Moninder Singh:
Object Oriented XML Query by Example.
ER (Workshops) 2003: 323-329 |
