| 2009 |
|---|
| 7 | EE | Jia Meng,
Lawrence C. Paulson:
Lightweight relevance filtering for machine-generated resolution problems.
J. Applied Logic 7(1): 41-57 (2009) |
| 2008 |
|---|
| 6 | EE | Jia Meng,
Lawrence C. Paulson:
Translating Higher-Order Clauses to First-Order Clauses.
J. Autom. Reasoning 40(1): 35-60 (2008) |
| 2007 |
|---|
| 5 | EE | Jia Meng,
Lawrence C. Paulson,
Gerwin Klein:
A Termination Checker for Isabelle Hoare Logic.
VERIFY 2007 |
| 2006 |
|---|
| 4 | EE | Hans de Nivelle,
Jia Meng:
Geometric Resolution: A Proof Procedure Based on Finite Model Search.
IJCAR 2006: 303-317 |
| 3 | EE | Jia Meng,
Claire Quigley,
Lawrence C. Paulson:
Automation for interactive proof: First prototype.
Inf. Comput. 204(10): 1575-1596 (2006) |
| 2 | EE | Jia Meng,
Claire Quigley,
Lawrence C. Paulson:
Erratum to "Automation for interactive proof: First prototype" [Inform. and Comput. 204(2006) 1575-1596].
Inf. Comput. 204(12): 1852 (2006) |
| 2004 |
|---|
| 1 | EE | Jia Meng,
Lawrence C. Paulson:
Experiments on Supporting Interactive Proof Using Resolution.
IJCAR 2004: 372-384 |
