Centrum Wiskunde & Informatica

On the safe termination of PROLOG programs Tech Report

K.R. Apt (Krzysztof), R.N. Bol and J.W. Klop (Jan Willem)

January 1989
Characterizing termination of logic programs with level mappings Tech Report

M.A. Bezem

January 1989
Branching time and abstraction in bisimulation semantics Tech Report

R.J. van Glabbeek (Rob) and W.P. Weijland

January 1989
A dataflow graphics workstation Tech Report

P.J.W. ten Hagen (Paul), I. Herman (Ivan) and J.R.G. Vries

January 1989
Lists and associative functions in algebraic specifications : semantics and implementation Tech Report

P.R.H. Hendriks

January 1989
An algebra for process creation Tech Report

J.C.M. Baeten (Jos) and F.W. Vaandrager (Frits)

January 1989
Placing mirrors in grids Tech Report

E. Kranakis (Evangelos), D.D.M. Krizanc and L.G.L.T. Meertens (Lambert)

January 1989
Process expressions and Hoare's logic Tech Report

A. Ponse (Alban)

January 1989

Previous

Next