Rewriting, Computation and Proof: Essays Dedicated to

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Hardcover: 273 pages

Publisher: Springer (June 22, 2007)

Language: English

ISBN-10: 3540731466