dblp.uni-trier.dewww.uni-trier.de

Judith L. Underwood

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)