Judith L. Underwood

According to our database, Judith L. Underwood authored at least 6 papers between 1994 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

Search algorithms in type theory.

James L. Caldwell, Ian P. Gent, Judith L. Underwood

Theor. Comput. Sci., 2000

1999

Metalogical Frameworks II: Developing a Reflected Decision Procedure.

William E. Aitken, Robert L. Constable, Judith L. Underwood

J. Autom. Reason., 1999

1997

The Logic of Search Algorithms: Theory and Applications.

Ian P. Gent, Judith L. Underwood

Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997

1995

Tableaux for Intuitionistic Predicate Logic as Metatheory.

Judith L. Underwood

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995

1994

Aspects of the Computational Content of Proofs.

Judith L. Underwood

PhD thesis, 1994

Typing Abstract Data Types.

Judith L. Underwood

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994