Browsing by Author Paulson, Lawrence C.
Showing results 1 to 5 of 5
A termination checker for Isabelle Hoare logic
Author(s) | Meng, Jia; Paulson, Lawrence C.; Klein, Gerwin |
---|---|
Type | Conference paper |
Date Published | 2007 |
Date Created | July 15-16 2007 |
Automation for interactive proof: First prototype
Author(s) | Meng, Jia; Quigley, Claire; Paulson, Lawrence C. |
---|---|
Type | Journal article |
Date Published | 2006 |
Date Created | - |
Lightweight relevance filtering for machine-generated resolution
Author(s) | Meng, Jia; Paulson, Lawrence C. |
---|---|
Type | Conference paper |
Date Published | 2006 |
Date Created | August 22, 2006 |
Translating Higher-order Clauses to First-Order Clauses
Author(s) | Paulson, Lawrence C.; Meng, Jia |
---|---|
Type | Journal article |
Date Published | 2008 |
Date Created | - |
Translating higher-order problems to first-order clauses
Author(s) | Meng, Jia; Paulson, Lawrence C. |
---|---|
Type | Conference paper |
Date Published | 2006 |
Date Created | August 22, 2006 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator