Centrum Wiskunde & Informatica

Publications by Year

sign in

Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands

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

Address
- Centrum Wiskunde & Informatica
- Science Park 123 | 1098 XG Amsterdam | the Netherlands

CWI researchers
- Register Your Work
Questions or comments?
- repository@cwi.nl

Workflow

Workflow

Add Content

User Publication Person Organisation Collection

Close