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

Basic theorems for parallel processes in timed $ mu $ CRL Tech Report

J.F. Groote (Jan Friso) and J.J. van Wamel

January 1998
The leap year problem Tech Report

A. van Deursen (Arie)

January 1998
Undecidability and completeness results for process algebras with alternative with alternative quantification over data Tech Report

J.F. Groote (Jan Friso) and S.P. Luttik (Bas)

January 1998
Automata and coinduction (an exercise in coalgebra) Tech Report

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

January 1998
Efficient enumeration of non-isomorphic processing trees Tech Report

F. Waas (Florian)

January 1998
A feature database for multimedia objects Tech Report

M.L. Kersten (Martin), N.J. Nes (Niels) and M.A. Windhouwer (Menzo)

January 1998
A vector valued Stefan problem from aluminium industry Tech Report

F.J. Vermolen and C. Vuik

January 1998
Oscillatory Störmer-Cowell methods Tech Report

P.J. van der Houwen (Piet), E. Messina and B.P. Sommeijer (Ben)

January 1998

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