2 datasets found

Rapport interne.

Aussi apparu en "Proc. of RTA, Rewriting Techniques and Applications, Utrecht, The Netherlands, May 22-24, Lecture Notes in Computer Sciences, no 2051, pp 77--92,...