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 logic of Peirce algebras Tech Report

M. de Rijke (Maarten)

January 1994
A note on language classes with finite elasticity Tech Report

M. Kanazawa

January 1994
A closer look at declarative interpretations Tech Report

K.R. Apt (Krzysztof), M. Gabbrielli and D. Pedreschi

January 1994
The real positive semidefinite completion problem for series-parallel graphs Tech Report

M. Laurent (Monique)

January 1994
Impulsive-smooth behavior in multimode systems Tech Report

A.H.W. Geerts and J.M. Schumacher (Hans)

January 1994
A finite automaton learning system using genetic programming Tech Report

H.H. Ehrenburg and H.A.N. van Maanen

January 1994
Three-valued completion for abductive logic programs Tech Report

F. J. M. Teusink (Frank)

January 1994
A correctness proof of the bakery protocol in $ mu $CRL Tech Report

J.F. Groote (Jan Friso) and H.P. Korver

January 1994

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