Publication

Overview research activities (ORA) / Centrum voor Wiskunde en Informatica (CWI) 1993-2008 Miscellaneous

Retrieving (JPEG) pictures in portable hypermedia documents In Proceedings

D.C.A. Bulterman (Dick)

Induced circuits in graphs on surfaces Book Chapter

A. Schrijver (Lex)

A proof procedure for extended logic programs Book Chapter

F. J. M. Teusink (Frank)

A characterization of stable models using a non-monotonic operator In Proceedings

F. J. M. Teusink (Frank)

Applying free partially commutative groups to paths and circuits in directed graphs on surfaces Book Chapter

A. Schrijver (Lex)

Elements of topological dynamics Book

J. de Vries (Jan)

A robust upwind discretization method for advection, diffusion and source terms Book Chapter

B. Koren (Barry)