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

Higher order recursive program schemes are Turing incomplete Tech Report

Z. Khasidashvili

January 1993
A structural co-induction theorem Tech Report

J.J.M.M. Rutten (Jan)

January 1993
Relating state transformation semantics and predicate transformer semantics for parallel programs Tech Report

F. van Breugel

January 1993
On the unification free Prolog programs Tech Report

K.R. Apt (Krzysztof) and S. Etalle (Sandro)

January 1993
Fully abstract models for concurrent languages Dissertation

Computer Security

E. Horita

January 1993
Specification and Support of Adaptable Networked Multimedia Article

Multimedia Systems, 1(2), 68-76.

D.C.A. Bulterman (Dick)

January 1993
A Distributed Approach to Retrieving JPEG Pictures in Portable Hypermedia Documents Book Chapter

D.C.A. Bulterman (Dick) and D.T. Winter (Dik)

January 1993
A Difference Engine for Images with Applications to Wavelet Decompression In Proceedings

E.H. Blake (Edwin) and A.A.M. Kuijk (Fons)

January 1993

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