CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
The failure of failures in a paradigm for asynchronous communication Tech Report
F.S. de Boer (Frank), J.N. Kok (Joost), C. Palamidessi (Catuscia) and J.J.M.M. Rutten (Jan)
January 1991
-
A sound and complete calculus for update logic Tech Report
January 1991
-
Quantification and partiality Tech Report
January 1991
-
The dynamics of description Tech Report
January 1991
-
January 1991
-
Open problems in rewriting Tech Report
N. Dershowitz (Nachum), J.-P. Jouannaud and J.W. Klop (Jan Willem)
January 1991
-
January 1991
-
January 1991