Centrum Wiskunde & Informatica

Performance evaluation of Rosser's method Tech Report

W. Couzy

January 1990
Finding all minimal covers of a set using implicit enumeration Tech Report

J.W. Spee

January 1990
Algorithms from theorems Tech Report

J. Jeuring (Johan)

January 1990
Paramorphisms Tech Report

L.G.L.T. Meertens (Lambert)

January 1990
Amoeba: a distributed operating system for the 1990s Tech Report

S.J. Mullender (Sape), G. van Rossum (Guido), A.S. Tanenbaum (Andrew), R. van Renesse (Robbert) and J.M. van Staveren

January 1990
Unique normal forms for disjoint unions of conditional term rewriting systems Tech Report

A. Middeldorp

January 1990
Grey-level morphology Tech Report

H.J.A.M. Heijmans (Henk)

January 1990
The refinement theorem for ST-bisimulation semantics Tech Report

R.J. van Glabbeek (Rob)

January 1990

Previous

Next