CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Conditional rewrite rules: confluence and termination Article
Journal of Computer Science and Technology, 32(3), 323-362.January 1986 -
Local recognition of Tits geometries of classical type Article
Geometriae Dedicata, 20(2), 181-199.January 1986 -
Minimizing the expected weighted number of tardy jobs in stochastic flow shops Article
Operations Research Letters, 5(3), 119-126.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.January 1986 -
Sloppy size control of the cell division cycle Article
Journal of Theoretical Biology, 118(4), 405-426.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.January 1986