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

Truth-as-simulation : towards a coalgebraic perspective on logic and games Tech Report

A. Baltag

January 1999
The propositional formula checker HeerHugo Tech Report

J.F. Groote (Jan Friso) and J.P. Warners (Joost)

January 1999
Coalgebra, concurrency and control Tech Report

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

January 1999
Semantics of programming languages : a tool-oriented approach Tech Report

J. Heering (Jan) and P. Klint (Paul)

January 1999
DAG drawing from an information visualization perspective Tech Report

G. Melançon and I. Herman (Ivan)

January 1999
Direct multifractal spectrum calculation from the wavelet transform Tech Report

Z.R. Struzik

January 1999
Counting, enumerating and sampling of execution plans in a cost-based query optimizer Tech Report

F. Waas (Florian) and C.A. Galindo-Legaria (César)

January 1999
Pretty-printing within the ASF+SDF meta-environment : a generic approach Tech Report

M.G.J. van den Brand (Mark) and M. de Jonge (Merijn)

January 1999

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