Centrum Wiskunde & Informatica

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