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
A study of the recursion $ysb {n+1}=ysb n+ au ysp msb n$ Article

Journal of Mathematical Analysis and Applications, 116(2), 456-464.

J.M. Sanz-Serna and J.G. Verwer (Jan)

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

Previous

Next