Original language | English |
---|---|
Pages (from-to) | 89-112 |
Journal | Lecture Notes in Computer Science |
Volume | 4600 |
Publication status | Published - 2007 |
Bibliographical note
jpj60Proceedings title: Rewriting, Computation and Proof, Essays Dedicated to Jouannaud, J.-P. on the Occassion of His 60th Birthday. Paris, France.
Publisher: Springer-Verlag
Editors: H. Comon-Lundh, C. Kirchner, H. Kirchner