Centrum Wiskunde & Informatica

Completeness and definability : applications of the Ehrenfeucht game in second-order and intensional logic Dissertation

H.C. Doets (Kees)

May 1987
ACP - A universal axiom system for process specification Tech Report

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

June 1987
Translating programs into delay-insensitive circuits Tech Report

J.C. Ebergen (Jo)

June 1987
Book review: Groups and geometric analysis Tech Report

E.P. van der Ban

June 1987
The radon transform: first steps Tech Report

N.M. Temme (Nico)

June 1987
Modular specifications in process algebra In Proceedings

R.J. van Glabbeek (Rob) and F.W. Vaandrager (Frits)

June 1987
Minimum disclosure proofs of knowledge Tech Report

G. Brassard (Gilles), D. Chaum (David) and C. Crépeau (Claude)

July 1987
Another look at abstraction in process algebra: Extended abstract In Proceedings

J.C.M. Baeten (Jos) and R.J. van Glabbeek (Rob)

July 1987

Previous

Next