Judith L. Underwood

List of publications from the DBLP Bibliography Server - FAQ

2000

5 EE James L. Caldwell, Ian P. Gent, Judith L. Underwood: Search algorithms in type theory. Theor. Comput. Sci. 232(1-2): 55-90 (2000)

1999

4 William E. Aitken, Robert L. Constable, Judith L. Underwood: Metalogical Frameworks II: Developing a Reflected Decision Procedure. J. Autom. Reasoning 22(2): 171-221 (1999)

1997

3 Ian P. Gent, Judith L. Underwood: The Logic of Search Algorithms: Theory and Applications. CP 1997: 77-91

1995

2 Judith L. Underwood: Tableaux for Intuitionistic Predicate Logic as Metatheory. TABLEAUX 1995: 138-153

1994

1 Judith L. Underwood: Typing Abstract Data Types. COMPASS/ADT 1994: 437-452

2000
5	EE	James L. Caldwell, Ian P. Gent, Judith L. Underwood: Search algorithms in type theory. Theor. Comput. Sci. 232(1-2): 55-90 (2000)
1999
4		William E. Aitken, Robert L. Constable, Judith L. Underwood: Metalogical Frameworks II: Developing a Reflected Decision Procedure. J. Autom. Reasoning 22(2): 171-221 (1999)
1997
3		Ian P. Gent, Judith L. Underwood: The Logic of Search Algorithms: Theory and Applications. CP 1997: 77-91
1995
2		Judith L. Underwood: Tableaux for Intuitionistic Predicate Logic as Metatheory. TABLEAUX 1995: 138-153
1994
1		Judith L. Underwood: Typing Abstract Data Types. COMPASS/ADT 1994: 437-452

Coauthor Index