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 1997
-
Domain-free pure type systems In Proceedings
January 1997 -
Results on resource-bounded measure In Proceedings
January 1997 -
Diagonal crossover in genetic algorithms for numerical optimization. Evolutionary computation Article
Control and Cybernetics, 26(3), 447-465.January 1997 -
Confluent rewriting of bisimilar term graphs In Proceedings
January 1997
-
A notion of classical pure type system (preliminary version) In Proceedings
January 1997
-
On intersecting chains in Boolean algebras In Proceedings
January 1997 -
Semi-coarsening in three directions for Euler-flow computations in three dimensions Book Chapter
B. Koren (Barry), P.W. Hemker (Piet) and P.M. de Zeeuw (Paul)
January 1997