Judith L. Underwood

Tableaux for Intuitionistic Predicate Logic as Metatheory

Judith L. Underwood, 1995, TABLEAUX.

Typing Abstract Data Types

Judith L. Underwood, 1994, COMPASS/ADT.

Metalogical Frameworks II: Developing a Reflected Decision Procedure

Robert L. Constable, Judith L. Underwood, William E. Aitken, 1999, Journal of Automated Reasoning.

The Logic of Search Algorithms: Theory and Applications

Ian P. Gent, Judith L. Underwood, 1997, CP.

Search algorithms in type theory

James L. Caldwell, Ian P. Gent, Judith L. Underwood, 2000, Theor. Comput. Sci..

Aspects of the Computational Content of Proofs

Judith L. Underwood, Judith Lynne Underwood, 1994 .

Classical Tools for Constructive Proof Search

Judith L. Underwood, J. Caldwell, 2001 .