Centrum Wiskunde & Informatica

Equational binary decision diagrams In Proceedings

J.F. Groote (Jan Friso) and J.C. van de Pol (Jaco)

January 2000
Partial servicing of on-line jobs In Proceedings

R. van Stee (Rob) and J.A. La Poutré (Han)

January 2000
Binary decision diagrams by shared rewriting In Proceedings

J.C. van de Pol (Jaco) and H. Zantema (Hans)

January 2000
State space reduction using partial $ \tau $ -confluence In Proceedings

J.F. Groote (Jan Friso) and J.C. van de Pol (Jaco)

January 2000
A compositional model for confluent dynamic data-flow networks In Proceedings

F.S. de Boer (Frank) and M.M. Bonsangue (Marcello)

January 2000
Quantum Kolmogorov complexity In Proceedings

A. Berthiaume, W. van Dam (Wim) and S. Laplante

January 2000
New bounds for the language compression problem In Proceedings

H.M. Buhrman (Harry), S. Laplante and P.B. Miltersen

January 2000
An $omega$-complete equational specification of interleaving (extended abstract) In Proceedings

W.J. Fokkink (Wan) and S.P. Luttik (Bas)

January 2000

Previous

Next