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

A note on splitting errors for advection-reaction equations Tech Report

W. Hundsdorfer (Willem) and J.G. Verwer (Jan)

January 1994
Knowledge abstraction using heuristic search Tech Report

D. Riaño

January 1994
Comparing negation in logic programming and in Prolog Tech Report

K.R. Apt (Krzysztof) and F. J. M. Teusink (Frank)

January 1994
Origin tracking in primitive recursive schemes Tech Report

A. van Deursen (Arie)

January 1994
Some uses of constructive negation for classical problems in non-monotonic reasoning Tech Report

E. Marchiori

January 1994
The STO-problem is NP-hard Tech Report

K.R. Apt (Krzysztof), P. van Emde Boas (Peter) and A. Welling

January 1994
The algebra of modal logic Tech Report

P. Blackburn (Patrick), M. de Rijke (Maarten) and Y. Venema

January 1994
A note on bootstrapping the local time of the empirical process Tech Report

R. Helmers (Roelof)

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