CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
A geometric proof of confluence by decreasing diagrams In Proceedings
J.W. Klop (Jan Willem), V. van Oostrom (Vincent) and R. de Vrijer
January 2000
-
A classification of the six-point prime metrics In Proceedings
January 2000
-
Computing toroidal functions for wide ranges of the parameters. Article
Journal of Computational Physics, 161(1), 204-217.January 2000 -
A theorem of Truemper Article
Combinatorica, 20(1), 15-26.January 2000 -
A class of team problems with discrete action spaces: optimality conditions based on multimodularity Article
SIAM Journal on Control and Optimization, 38(3), 875-892.January 2000 -
A free boundary problem involving a cusp: breakthrough of salt water Article
Interfaces and Free Boundaries, 2(1), 21-72.January 2000 -
LARIS 1.0: LAnguage for railway interlocking specifications Book
W.J. Fokkink (Wan), J.F. Groote (Jan Friso), M. Hollenberg (Marco) and B. van Vlijmen
January 2000
-
Fundamenta morphologicae mathematicae Article
Fundamenta Informaticae, 41(1-2), 1-31.January 2000