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

The semantics and complexity of parallel programs for vector computations, part II Book Chapter

E.K. Blum

January 1989
A summary of the work on the proof theory for the language POOL Book Chapter

F.S. de Boer (Frank)

January 1989
Continuation semantics for PROLOG with cut Book Chapter

A. de Bruin (Arie) and E.P. de Vink (Erik)

January 1989
Intersection types for combinatory logic Book Chapter

M. Dezani-Ciancaglini and R. Hindley

January 1989
A characterization of the state spaces of elementary net systems Book Chapter

A. Ehrenfeucht and G. Rozenberg

January 1989
On the use of semantics: extending Prolog to a parallel object oriented language Book Chapter

A. P. W. Eliëns (Anton)

January 1989
A compositional semantics for the Turing machine Book Chapter

P. van Emde Boas (Peter)

January 1989
Cooperating-proofs for distributed programs with multi-party interactions Book Chapter

N. Francez

January 1989

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