Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Judith Underwood
8 results
Search Algorithms in Type Theory
| cite »
by James L. Caldwell, Ian Gent, Judith Underwood
2000
Metalogical Frameworks II: Developing a Reflected Decision Procedure
| cite »
by William Aitken, Robert L. Constable, Judith Underwood
1999
Classical Tools for Constructive Proof Search
| cite »
by James L. Caldwell, Judith Underwood
1996
Aspects of the Computational Content of Proofs
| cite »
by Judith Underwood
1994
A Constructive Completeness Proof for Intuitionistic Predicate Calculus
by Judith Underwood
February 01, 1994
The Tableau Algorithm for Intuitionistic Propositional Calculus as a Constructive Completeness Proof
| cite »
by Judith Underwood
1993
Extraction
by Judith Underwood
March 16, 1993
A Constructive Completeness Proof for the Intuitionistic Propositional Calculus
| cite »
by Judith Underwood
1990