Centrum Wiskunde & Informatica

Completeness of resolution by transfinite induction Tech Report

M.A. Bezem

January 1988
Boolean functions, invariance groups and parallel complexity Tech Report

P. Clote and E. Kranakis (Evangelos)

January 1988
Data flow semantics Tech Report

J.N. Kok (Joost)

January 1988
Correctness and full abstraction of metric semantics for concurrency Tech Report

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

January 1988
Efficient computing of least fixpoints Tech Report

K.R. Apt (Krzysztof)

January 1988
On semigroups and populations Tech Report

O. Diekmann (Odo)

January 1988
Expert systems as deductive systems Tech Report

A. P. W. Eliëns (Anton)

January 1988
Disjoint circuits of prescribed homotopies in a graph on a compact surface Tech Report

A. Schrijver (Lex)

January 1988

Previous

Next