Publication
-
January 1994 -
A cross section of intersection theory Article
Nieuw Archief voor Wiskunde, 12(3), 169-177.January 1994 -
Term rewriting properties of SOS axiomatisations In Proceedings
January 1994 -
A new method for finding amicable pairs Book Chapter
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