CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 1994
-
January 1994
-
Knowledge abstraction using heuristic search Tech Report
January 1994
-
January 1994
-
January 1994
-
Formal methods in the development of PREMO Tech Report
D.A. Duce, D.J. Duke, P.J.W. ten Hagen (Paul), I. Herman (Ivan) and G.J. Reynolds
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
January 1994