ISBN 9783540731467 books & textbook
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science, 4600)
Comon-Lundh, Hubert Kirchner, Claude Kirchner, Hélène
Springer /2007-06-22 Paperback / 292 Pages
isbn-10: 3540731466 / isbn-13: 9783540731467