Centrum Wiskunde & Informatica

On the occur-check free Prolog programs Tech Report

K.R. Apt (Krzysztof) and A. Pellegrini

January 1992
A simple proof of confluence for weakly orthogonal combinatory reduction systems Tech Report

F. van Raamsdonk (Femke)

January 1992
Three, four, five, six, or the complexity of scheduling with communication delays Tech Report

J.A. Hoogeveen, J.K. Lenstra (Jan Karel) and B. Veltman

January 1992
On the differential structure of matrix-valued rational inner functions Tech Report

D. Alpay, L. Baratchart and A. Gombani

January 1992
On the geometry of external spectral factors and the Riccati inequality Tech Report

A. Gombani

January 1992
On the Schmidt pairs of multivariable Hankel operators and robust control Tech Report

A. Gombani

January 1992
On relations between Schmidt pairs arising in robust control Tech Report

A. Gombani

January 1992
On some results by Fuhrmann on Hankel operators Tech Report

A. Gombani

January 1992

Previous

Next