CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 1994
-
Preface Article
January 1994 -
January 1994
-
A structural co-induction theorem In Proceedings
January 1994 -
Preface Preface
January 1994 -
Linguistics, logic and finite trees Article
Bulletin of the Interest Group in Pure and Applied Logics, 2(1), 3-29.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.January 1994