Rainer Kerth

According to our database¹, Rainer Kerth authored at least 5 papers between 1998 and 2001.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2001

On the construction of stable models of untyped lambda-calculus.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

WebSphere as an e-business server.

[BibT_eX]

[DOI]

IBM Syst. J., 2001

1999

Eine Fallstudie: Einbindung von Legacy-Datenbanken über JDBC.

[BibT_eX]

[DOI]

Proceedings of the JIT '99, 1999

1998

Isomorphism and Equational Equivalence of Continuous [lambda]-Models.

[BibT_eX]

[DOI]

Stud Logica, 1998

The Interpretation of Unsolvable lambda-Terms in Models of Untyped lambda-Calculus.

[BibT_eX]

[DOI]

J. Symb. Log., 1998