Centrum Wiskunde & Informatica

A declarative approach for first-order built-in's of Prolog Tech Report

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

January 1992
Proving run-time properties of general programs w.r.t. constructive negation Tech Report

E. Marchiori

January 1992
Optimal sorting in linear arrays with minimum global control Tech Report

F. Abolhassan, J. Keller (Jörg) and D. Scheerer

January 1992
Reduction of network cost and wiring in Ranade's butterfly routing Tech Report

D. Cross, R. Drefenstedt and J. Keller (Jörg)

January 1992
A new definition of SLDNF-resolution Tech Report

K.R. Apt (Krzysztof) and H.C. Doets (Kees)

January 1992
On the foundations of final semantics: non-standard sets, metric spaces, partial orders Tech Report

J.J.M.M. Rutten (Jan) and D. Turi

January 1992
Linear-time snapshot protocols for unbalanced systems Tech Report

A. Israeli, A. Shaham and A. Shirazi

January 1992
Optimal multi-writer multi-reader atomic register Tech Report

A. Israeli and A. Shaham

January 1992

Previous

Next