Centrum Wiskunde & Informatica

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
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
A user's guide to the Software Testpilot Tech Report

H. Kesten and F. Kwakkel

January 1993
The Boltzmann entropy and randomness tests Tech Report

P. Gacs (Péter)

January 1993
Fast parallel permutation algorithms Tech Report

J. Keller (Jörg)

January 1993
More problems in rewriting Tech Report

N. Dershowitz (Nachum), J.-P. Jouannaud and J.W. Klop (Jan Willem)

January 1993

Previous

Next