Centrum Wiskunde & Informatica

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
Resource augmentation in load balancing In Proceedings

Y. Azar, L. Epstein (Lea) and R. van Stee (Rob)

January 2000
The sparse-grid combination technique applied to time-dependent advection problems In Proceedings

B. Lastdrager, B. Koren (Barry) and J.G. Verwer (Jan)

January 2000

Previous

Next