|
Search the dblp DataBase
Ralph Loader:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ralph Loader
Linear Logic, Totality and Full Completeness [Citation Graph (0, 0)][DBLP] LICS, 1994, pp:292-298 [Conf]
- Ralph Loader
Equational Theories for Inductive Types. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1997, v:84, n:2, pp:175-217 [Journal]
- Ralph Loader
Higher Order beta Matching is Undecidable. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2003, v:11, n:1, pp:51-68 [Journal]
- Ralph Loader
Finitary PCF is not decidable. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2001, v:266, n:1-2, pp:341-364 [Journal]
- Ralph Loader
Unary PCF is Decidable. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1998, v:206, n:1-2, pp:317-329 [Journal]
Search in 0.001secs, Finished in 0.001secs
|