Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science, 4600)
Full Title: | Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science, 4600) |
---|---|
ISBN: | 3540731466 |
ISBN13: | 9783540731467 |
List Price: | USD $64.95 |