Centrum Wiskunde & Informatica

Cross-covariance functions characterise bounded regular closed sets Tech Report

A.J. Cabo (Annoesjka) and R.H.P. Janssen (René)

January 1994
Visualization of multi-dimensional scalar functions using hyperslice Tech Report

R. van Liere (Robert) and J.J. van Wijk (Jack)

January 1994
Hyperslice visualization of scalar functions of many variables Tech Report

J.J. van Wijk (Jack) and R. van Liere (Robert)

January 1994
An environment for computational steering Tech Report

J.J. van Wijk (Jack) and R. van Liere (Robert)

January 1994
More on unfold/fold transformations of normal programs: preservation of fitting's semantics Tech Report

A. Bossi and S. Etalle (Sandro)

January 1994
A logic for variable aliasing in logic programs Tech Report

E. Marchiori

January 1994
Verification of an audio control protocol Tech Report

D.J.B. Bosscher (Doeko), I. Polak and F.W. Vaandrager (Frits)

January 1994
A path-based variable-free system for predicate logic Tech Report

D. Ben-Shalom

January 1994

Previous

Next