Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Meng, Jia - National ICT Australia & Computer Sciences Laboratory, Australian National University
Geometric Resolution: A Proof Procedure based on Finite Model
Experiments On Supporting Interactive Proof Using Resolution
Lightweight Relevance Filtering for Machine-Generated Resolution Problems
Automation for Interactive Proof: First Prototype
Lightweight Relevance Filtering for Machine-Generated Resolution Problems
A Termination Checker for Isabelle Hoare logic , Lawrence C. Paulson2
Translating Higher-Order Clauses to First-Order Jia Meng (jia.meng@nicta.com.au)
Translating Higher-Order Problems to First-Order Clauses , Lawrence C. Paulson2
Integration of Interactive and Automatic Provers Computer Laboratory, University of Cambridge
