Centrum Wiskunde & Informatica

A proof procedure for extended logic programs Book Chapter

F. J. M. Teusink (Frank)

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

F. J. M. Teusink (Frank)

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

A. Schrijver (Lex)

January 1993
Elements of topological dynamics Book

J. de Vries (Jan)

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

B. Koren (Barry)

January 1993
Multigrid and advection Book Chapter

P.M. de Zeeuw (Paul)

January 1993
An elimination theorem for regular behaviours with integration Book Chapter

W.J. Fokkink (Wan)

January 1993
Explicit, high-order Runge-Kutta-Nyström methods for parallel computers In Proceedings

B.P. Sommeijer (Ben)

January 1993

Previous

Next