Projectposter MultimediaN Topics / MultimediaN Partnership Other

Projectposter MultimediaN / ICES-KIS 3 ICT Other

Efficient annotated terms Tech Report

M.G.J. van den Brand (Mark), H.A. de Jong (Hayco), P. Klint (Paul) and P.A. Olivier (Pieter)

Towards an algorithmic statistics (extended abstract) In Proceedings

P. Gacs, J.T. Tromp (John) and P.M.B. Vitányi (Paul)

Equational binary decision diagrams In Proceedings

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

Partial servicing of on-line jobs In Proceedings

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

Binary decision diagrams by shared rewriting In Proceedings

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

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

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