Jia Meng

According to our database, Jia Meng authored at least 8 papers between 2004 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2009

Lightweight relevance filtering for machine-generated resolution problems.

Jia Meng, Lawrence C. Paulson

J. Appl. Log., 2009

2008

Translating Higher-Order Clauses to First-Order Clauses.

Jia Meng, Lawrence C. Paulson

J. Autom. Reason., 2008

2007

A Termination Checker for Isabelle Hoare Logic.

Jia Meng, Lawrence C. Paulson, Gerwin Klein

Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007

2006

Erratum to "Automation for interactive proof: First prototype" [Inform. and Comput. 204(2006) 1575-1596].

Jia Meng, Claire Quigley, Lawrence C. Paulson

Inf. Comput., 2006

Automation for interactive proof: First prototype.

Jia Meng, Claire Quigley, Lawrence C. Paulson

Inf. Comput., 2006

Geometric Resolution: A Proof Procedure Based on Finite Model Search.

Hans de Nivelle, Jia Meng

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005

The integration of higher order interactive proof with first order automatic theorem proving.

Jia Meng

PhD thesis, 2005

2004

Experiments on Supporting Interactive Proof Using Resolution.

Jia Meng, Lawrence C. Paulson

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004