Publication
-
Average-case quantum query complexity In Proceedings
January 2000 -
The propositional formula checker HeerHugo Article
Journal of Automated Reasoning, 24(1-2), 101-125.January 2000
-
Inference on rare errors using asymptotic expansions and bootstrap calibration Article
Biometrika, 87(3), 689-694.January 2000 -
January 2000
-
January 2000
-
Multi-issue negotiation processes by evolutionary simulation : validation and social extensions Tech Report
January 2000
-
Chromosome No. 1 of Crepis Cappilaris Shows Defined 3D-Shapes in Mitotic Prophase Article
Chromosome Research, 8(3), 243-252.January 2000
-
Color and Scale: The Spatial Structure of Color Images In Proceedings
January 2000