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)
by
ISBN 13: 9783540731467
Format: Paperback (273 pages) Publisher: Springer Published: 22 Jun 2007
Save for later