iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: https://dblp.org/pid/25/2855.html

dblp: Judith L. Underwood

default search action

combined dblp search
author search
venue search
publication search

ask others

Judith L. Underwood

> Home > Persons

Person information

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2000
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CaldwellGU00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CaldwellGU00
James L. Caldwell, Ian P. Gent, Judith L. Underwood:
Search algorithms in type theory. Theor. Comput. Sci. 232(1-2): 55-90 (2000)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AitkenCU99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AitkenCU99
William E. Aitken, Robert L. Constable, Judith L. Underwood:
Metalogical Frameworks II: Developing a Reflected Decision Procedure. J. Autom. Reason. 22(2): 171-221 (1999)
1997
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GentU97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GentU97
Ian P. Gent, Judith L. Underwood:
The Logic of Search Algorithms: Theory and Applications. CP 1997: 77-91
1995
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/Underwood95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/Underwood95
Judith L. Underwood:
Tableaux for Intuitionistic Predicate Logic as Metatheory. TABLEAUX 1995: 138-153
1994
[b1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - phd/us/Underwood94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/us/Underwood94
Judith L. Underwood:
Aspects of the Computational Content of Proofs. Cornell University, USA, 1994
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/compass/Underwood94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compass/Underwood94
Judith L. Underwood:
Typing Abstract Data Types. COMPASS/ADT 1994: 437-452

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.