Rainer Kerth

Publication Activity (10 Years)

Years Active: 1998-2001
Publications (10 Years): 0

Publications

Rainer Kerth
On the construction of stable models of untyped lambda-calculus. Theor. Comput. Sci. 269 (1-2) (2001)
Donald F. Ferguson, Rainer Kerth
WebSphere as an e-business server. IBM Syst. J. 40 (1) (2001)
Rainer Kerth
Eine Fallstudie: Einbindung von Legacy-Datenbanken über JDBC. Java-Informations-Tage (1999)
Rainer Kerth
Isomorphism and Equational Equivalence of Continuous [lambda]-Models. Stud Logica 61 (3) (1998)
Rainer Kerth
The Interpretation of Unsolvable lambda-Terms in Models of Untyped lambda-Calculus. J. Symb. Log. 63 (4) (1998)