CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 1995
-
January 1995
-
Termination for direct sums of left-linear complete term rewriting systems Article
Journal of the Association for Computing Machinery, 42(6), 1275-1304.Y. Toyama, J.W. Klop (Jan Willem) and H.P. Barendregt (Henk)
January 1995 -
January 1995
-
Self-stabilizing mutual exclusion on directed graphs Tech Report
D. Alstein, J.H. Hoepman (Jaap-Henk), B.E. Olivier and P.I.A. van der Put
January 1995
-
Forward and backward simulations I. Untimed systems Article
Information and Computation, 121(2), 214-233.January 1995 -
January 1995
-
Duality beyond sober spaces: topological spaces and observation frames In Proceedings
M.M. Bonsangue (Marcello), B.P.F. Jacobs and J.N. Kok (Joost)
January 1995