Centrum Wiskunde & Informatica

Conditional rewrite rules: confluence and termination Article

Journal of Computer Science and Technology, 32(3), 323-362.

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1986
Local recognition of Tits geometries of classical type Article

Geometriae Dedicata, 20(2), 181-199.

A.E. Brouwer (Andries) and A.M. Cohen (Arjeh)

January 1986
Minimizing the expected weighted number of tardy jobs in stochastic flow shops Article

Operations Research Letters, 5(3), 119-126.

O.J. Boxma (Onno) and F.G. Forst

January 1986
Syntax and defining equations for an interrupt mechanism in process algebra Article

Fundamenta Informaticae, 127-167.

J.C.M. Baeten (Jos), J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1986
Numerical analysis of the shallow water equations In Proceedings

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben), J.G. Verwer (Jan) and F.W. Wubs (Fred)

January 1986
Uniform bounds for the number of solutions to $Ysp n=f(X)$ Article

Mathematical Proceedings of the Cambridge Philosophical Society, 100(2), 237-248.

J.-H. Evertse (Jan-Hendrik) and J.H. Silverman

January 1986
Sloppy size control of the cell division cycle Article

Journal of Theoretical Biology, 118(4), 405-426.

J.J. Tyson and O. Diekmann (Odo)

January 1986
On the stability of the cell-size distribution II. Time-periodic developmental rates. Hyperbolic partial differential equations, III Article

Computers & Mathematics with Applications, 12(4-5), 491-512.

O. Diekmann (Odo), H.J.A.M. Heijmans (Henk) and H.R. Thieme

January 1986

Publication

Conditional rewrite rules: confluence and termination Article

Local recognition of Tits geometries of classical type Article

Minimizing the expected weighted number of tardy jobs in stochastic flow shops Article

Syntax and defining equations for an interrupt mechanism in process algebra Article

Numerical analysis of the shallow water equations In Proceedings

Uniform bounds for the number of solutions to $Ysp n=f(X)$ Article

Sloppy size control of the cell division cycle Article

On the stability of the cell-size distribution II. Time-periodic developmental rates. Hyperbolic partial differential equations, III Article

Address

CWI researchers

Questions or comments?

Publication

Conditional rewrite rules: confluence and termination Article

Local recognition of Tits geometries of classical type Article

Minimizing the expected weighted number of tardy jobs in stochastic flow shops Article

Syntax and defining equations for an interrupt mechanism in process algebra Article

Numerical analysis of the shallow water equations In Proceedings

Uniform bounds for the number of solutions to $Ysp n=f(X)$ Article

Sloppy size control of the cell division cycle Article

On the stability of the cell-size distribution II. Time-periodic developmental rates. Hyperbolic partial differential equations, III Article

Workflow

Workflow

Add Content