Judith L. Underwood

	2000
5		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

1	William E. Aitken	[4]
2	James L. Caldwell	[5]
3	Robert L. Constable	[4]
4	Ian P. Gent	[3] [5]

Colors in the list of coauthors