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 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 -
January 1994 -
January 1994 -
The tyft/tyxt format reduces to tree rules In Proceedings
January 1994