R. Kerth

20 MODELES DE GRAPHES NON EQUATIONNELLEMENT EQUIVALENTS

R. Kerth, 1994 .

Isomorphisme et equivalence equationnelle entre modeles du λ-calcul

R. Kerth, 1995 .

The interpretation of unsolvable λ-terms in models of untyped λ-calculus

Rainer Kerth, R. Kerth, 1998, Journal of Symbolic Logic.

WebSphere as an e-business server

Donald F. Ferguson, Rainer Kerth, D. Ferguson, 2001, IBM Syst. J..