CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Six hypotheses in search of a theorem In Proceedings
H.M. Buhrman (Harry), L. Fortnow (Lance) and L. Torenvliet (Leen)
January 1997 -
Analysis of DNAPL infiltration in a medium with a low-permeable lens Article
Computational Geosciences, 1(2), 191-214.January 1997 -
Explicit substitutions for the $lambdaDelta$-calculus In Proceedings
January 1997 -
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