Centrum Wiskunde & Informatica

A theory of first-order built-in's of Prolog Tech Report

K.R. Apt (Krzysztof), E. Marchiori and C. Palamidessi (Catuscia)

January 1992
Packing odd paths Tech Report

A. Schrijver (Lex) and P.D. Seymour (Paul)

January 1992
Formal specification of Manifold: a preliminary study Tech Report

E.P.B.M. Rutten, F. Arbab (Farhad) and I. Herman (Ivan)

January 1992
More examples in Manifold Tech Report

I. Herman (Ivan) and F. Arbab (Farhad)

January 1992
A primitive recursive set theory and AFA: on the logical complexity of the largest bisimulation Tech Report

R.T.P. Fernando (Tim)

January 1992
Provably recursive programs Tech Report

R.T.P. Fernando (Tim)

January 1992
Gray-scale granulometries compatible with spatial scalings Tech Report

E.J. Kraus (Eugene), H.J.A.M. Heijmans (Henk) and E.R. Dougherty (Edward)

January 1992
Complexity of scheduling multiprocessor tasks with prespecified processor allocations Tech Report

J.A. Hoogeveen, S.L. van de Velde and B. Veltman

January 1992

Previous

Next