Publication
-
The double covering of the quantum group ${m SO}sb q(3)$ In Proceedings
January 1994 -
A logic for variable aliasing in logic programs In Proceedings
January 1994 -
An orientation theorem for graphs Article
Journal of Combinatorial Theory - Series B, 62(2), 199-212.January 1994 -
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