Centrum Wiskunde & Informatica

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