Centrum Wiskunde & Informatica

Coding Theory Book Chapter

J.H. van Lint

January 1996
Meta-variables in logic programming, or In praise of ambivalent syntax Article

Fundamenta Informaticae, 28(1-2), 23-36.

K.R. Apt (Krzysztof) and R. Ben-Eliyahu

January 1996
Control of freeway traffic flow Book

S.A. Smulders

January 1996
The complexity of generating and checking proofs of membership In Proceedings

H.M. Buhrman (Harry) and T. Thierauf

January 1996
Regularity for a large class of context-free processes is decidable In Proceedings

D.J.B. Bosscher (Doeko) and W.O.D. Griffioen

January 1996
Compressibility and resource bounded measure In Proceedings

H.M. Buhrman (Harry) and L. Longpré

January 1996
The meaning of negative premises in transition system specifications Article

Journal of the ACM, 43(5), 863-914.

R.N. Bol and J.F. Groote (Jan Friso)

January 1996
Foreword (Images of SMC research 1996 : [published on the occasion of the 50th anniversary of the SMC]) Book Chapter

G.Y. Nieuwland

January 1996

Previous

Next