Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: James L. Caldwell
11 results
Classical Propositional Logic
by James L. Caldwell
July 28, 2004
Logical Aspects of Digital Mathematics Libraries (extended abstract)
| cite »
by Stuart F. Allen, James L. Caldwell, Robert L. Constable
2001
Search Algorithms in Type Theory
| cite »
by James L. Caldwell, Ian Gent, Judith Underwood
2000
Intuitionistic Tableau Extracted
| cite »
by James L. Caldwell
1999
Classical Propositional Decidability via Nuprl Proof Extraction
| cite »
by James L. Caldwell
1998
Decidability Extracted: Synthesizing
| cite »
by James L. Caldwell
1998
Extracting Readable and Efficient Programs from Nuprl Proofs
by James L. Caldwell
November 18, 1997
Extracting Propositional Decidability: A Proof of Propositional Decidability in Constructive Type Theory and its Extracted Program
| cite »
by James L. Caldwell
1997
Moving Proofs-as-Programs into Practice
| cite »
by James L. Caldwell
1997
Classical Tools for Constructive Proof Search
| cite »
by James L. Caldwell, Judith Underwood
1996
Formal Methods Program at NASA Langley Research Center
by James L. Caldwell
February 07, 1995