Centrum Wiskunde & Informatica

The logic of Peirce algebras Tech Report

M. de Rijke (Maarten)

January 1994
A note on language classes with finite elasticity Tech Report

M. Kanazawa

January 1994
A closer look at declarative interpretations Tech Report

K.R. Apt (Krzysztof), M. Gabbrielli and D. Pedreschi

January 1994
The real positive semidefinite completion problem for series-parallel graphs Tech Report

M. Laurent (Monique)

January 1994
Impulsive-smooth behavior in multimode systems Tech Report

A.H.W. Geerts and J.M. Schumacher (Hans)

January 1994
A finite automaton learning system using genetic programming Tech Report

H.H. Ehrenburg and H.A.N. van Maanen

January 1994
Three-valued completion for abductive logic programs Tech Report

F. J. M. Teusink (Frank)

January 1994
A correctness proof of the bakery protocol in $ mu $CRL Tech Report

J.F. Groote (Jan Friso) and H.P. Korver

January 1994

Previous

Next