Centrum Wiskunde & Informatica

Schema refinement and schema integration in object-oriented databases Tech Report

C.J.E. Thieme and A.P.J.M. Siebes (Arno)

January 1993
Identification in the limit of categorial grammars Tech Report

M. Kanazawa

January 1993
Declarative programming in Prolog Tech Report

K.R. Apt (Krzysztof)

January 1993
Regular layouts of butterfly networks in three dimensions Tech Report

J. Keller (Jörg)

January 1993
Higher order recursive program schemes are Turing incomplete Tech Report

Z. Khasidashvili

January 1993
A structural co-induction theorem Tech Report

J.J.M.M. Rutten (Jan)

January 1993
Perpetual reductions and strong normalization in orthogonal term rewriting systems Tech Report

Z. Khasidashvili

January 1993
Homomorphism preserving algebraic specifications require hidden sorts Tech Report

J.A. Bergstra (Jan) and J. Heering (Jan)

January 1993

Previous

Next