|
Search the dblp DataBase
Judith L. Underwood:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Judith L. Underwood
Typing Abstract Data Types. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1994, pp:437-452 [Conf]
- Ian P. Gent, Judith L. Underwood
The Logic of Search Algorithms: Theory and Applications. [Citation Graph (0, 0)][DBLP] CP, 1997, pp:77-91 [Conf]
- Judith L. Underwood
Tableaux for Intuitionistic Predicate Logic as Metatheory. [Citation Graph (0, 0)][DBLP] TABLEAUX, 1995, pp:138-153 [Conf]
- William E. Aitken, Robert L. Constable, Judith L. Underwood
Metalogical Frameworks II: Developing a Reflected Decision Procedure. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1999, v:22, n:2, pp:171-221 [Journal]
- James L. Caldwell, Ian P. Gent, Judith L. Underwood
Search algorithms in type theory. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2000, v:232, n:1-2, pp:55-90 [Journal]
Search in 0.003secs, Finished in 0.003secs
|