Centrum Wiskunde & Informatica

Preface Preface

J.W. de Bakker (Jaco), W.P. de Roever and G. Rozenberg

January 1994

Linguistics, logic and finite trees Article

Bulletin of the Interest Group in Pure and Applied Logics, 2(1), 3-29.

P. Blackburn (Patrick) and W. P. M. Meyer Viol (Wilfried)

January 1994

Linear approximation of shortest superstrings Article

Journal of the Association for Computing Machinery, 630-647.

A. Blum, T. Jiang (Tao), M. Li (Ming), J.T. Tromp (John) and M. Yannakakis

January 1994

Complexity of scheduling multiprocessor tasks with prespecified processor allocations Article

Discrete Applied Mathematics, 55(3), 259-272.

J.A. Hoogeveen, S.L. van de Velde and B. Veltman

January 1994

Computational number theory at CWI in 1970--1994 Article

CWI Quarterly, 7(4), 285-335.

H.J.J. te Riele (Herman) and J. van de Lune (Jan)

January 1994

Counting problems relating to a theorem of Dirichlet Article

Computational Geometry, 4(6), 309-325.

E. Kranakis (Evangelos) and M. Pocchiola

January 1994

Initial algebra and final coalgebra semantics for concurrency In Proceedings

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

January 1994

Fully abstract denotational models for nonuniform concurrent languages Article

Information and Computation, 115(1), 125-178.

E. Horita, J.W. de Bakker (Jaco) and J.J.M.M. Rutten (Jan)

January 1994

CWI Institutional Repository

Preface Preface

Linguistics, logic and finite trees Article

Linear approximation of shortest superstrings Article

Complexity of scheduling multiprocessor tasks with prespecified processor allocations Article

Computational number theory at CWI in 1970--1994 Article

Counting problems relating to a theorem of Dirichlet Article

Initial algebra and final coalgebra semantics for concurrency In Proceedings

Fully abstract denotational models for nonuniform concurrent languages Article

Address

CWI researchers

Questions or comments?

CWI Institutional Repository

Preface Preface

Linguistics, logic and finite trees Article

Linear approximation of shortest superstrings Article

Complexity of scheduling multiprocessor tasks with prespecified processor allocations Article

Computational number theory at CWI in 1970--1994 Article

Counting problems relating to a theorem of Dirichlet Article

Initial algebra and final coalgebra semantics for concurrency In Proceedings

Fully abstract denotational models for nonuniform concurrent languages Article

Workflow

Workflow

Add Content