Centrum Wiskunde & Informatica

A meta-environment for generating programming environments Tech Report

P. Klint (Paul)

January 1990
Handling hypergeometric series in Maple Tech Report

T.H. Koornwinder

January 1990
Nonwellfounded sets and programming language semantics Tech Report

J.J.M.M. Rutten (Jan)

January 1990
Explicit canonical representatives for weak bisimulation equivalence and congruence Tech Report

J.J.M.M. Rutten (Jan)

January 1990
A component class for design objects Tech Report

J.L.H. Rogier (Jan)

January 1990
Modeling design processes Tech Report

H. Takeda, T. Tomiyama, H. Yoshikawa and P. J. Veerkamp (Paul)

January 1990
IDDL: a language for intelligent interactive integrated CAD systems Tech Report

P. J. Veerkamp (Paul), P. Bernus, P.J.W. ten Hagen (Paul) and V. Akman (Varol)

January 1990
Formal semantics Tech Report

D.J.N. van Eijck (Jan)

January 1990

Previous

Next