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 theory of first-order built-in's of Prolog Tech Report
K.R. Apt (Krzysztof), E. Marchiori and C. Palamidessi (Catuscia)
January 1992
-
Packing odd paths Tech Report
January 1992
-
January 1992
-
More examples in Manifold Tech Report
January 1992 -
A primitive recursive set theory and AFA: on the logical complexity of the largest bisimulation Tech Report
January 1992
-
Provably recursive programs Tech Report
January 1992
-
Gray-scale granulometries compatible with spatial scalings Tech Report
E.J. Kraus (Eugene), H.J.A.M. Heijmans (Henk) and E.R. Dougherty (Edward)
January 1992 -
January 1992