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 -
A cross section of intersection theory Article
Nieuw Archief voor Wiskunde, 12(3), 169-177.January 1994 -
January 1994 -
January 1994 -
The tyft/tyxt format reduces to tree rules In Proceedings
January 1994 -
Asymptotic expansions for $q$-gamma, $q$-exponential, and $q$-Bessel functions Article
Journal of Mathematical Analysis and Applications, 186(3), 896-913.January 1994 -
A structural co-induction theorem Book Chapter
January 1994 -
A complete equational axiomatization for prefix iteration Article
Information Processing Letters, 52(6), 333-337.January 1994