Centrum Wiskunde & Informatica

Publications by Year

sign in

Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands

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

Address
- Centrum Wiskunde & Informatica
- Science Park 123 | 1098 XG Amsterdam | the Netherlands

CWI researchers
- Register Your Work
Questions or comments?
- repository@cwi.nl

Workflow

Workflow

Add Content

User Publication Person Organisation Collection

Close