default search action

combined dblp search
author search
venue search
publication search

ask others

Ralph Loader

> Home > Persons

Person information

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?

2003
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Loader03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Loader03
Ralph Loader:
Higher Order beta Matching is Undecidable. Log. J. IGPL 11(1): 51-68 (2003)
2001
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Loader01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Loader01
Ralph Loader:
Finitary PCF is not decidable. Theor. Comput. Sci. 266(1-2): 341-364 (2001)

1990 – 1999

see FAQ

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

1998
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Loader98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Loader98
Ralph Loader:
Unary PCF is Decidable. Theor. Comput. Sci. 206(1-2): 317-329 (1998)
1997
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Loader97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Loader97
Ralph Loader:
Equational Theories for Inductive Types. Ann. Pure Appl. Log. 84(2): 175-217 (1997)
1994
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/Loader94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/Loader94
Ralph Loader:
Linear Logic, Totality and Full Completeness. LICS 1994: 292-298

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.