Centrum Wiskunde & Informatica

The tyft/tyxt format reduces to tree rules Tech Report

W.J. Fokkink (Wan)

January 1993
Generalizing finiteness conditions of labelled transition systems Tech Report

F. van Breugel

January 1993
Datalog with non-deterministic choice computes NDP-PTIME Tech Report

L. Corciulo, F. Gianotti and D. Pedreschi

January 1993
Differential logic programs: semantics and programming methodologies Tech Report

A. Bossi, M. Bugliesi, M. Gabbrielli, G. Levi and M.C. Meo

January 1993
Combinatory reduction systems: introduction and survey Tech Report

J.W. Klop (Jan Willem), V. van Oostrom (Vincent) and F. van Raamsdonk (Femke)

January 1993
Comparing combinatory reduction systems and higher-order rewrite systems Tech Report

V. van Oostrom (Vincent) and F. van Raamsdonk (Femke)

January 1993
MADE: a multimedia application development environment Tech Report

I. Herman (Ivan), G.J. Reynolds and J. Davy

January 1993
Control of a random walk with noisy delayed information Tech Report

E. Altman and G.M. Koole (Ger)

January 1993

Previous

Next