Image from Amazon.com
Rewriting, Computation and Proof [electronic resource] : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday / edited by Hubert Comon-Lundh, Claude Kirchner, Helene Kirchner.
Series: Lecture Notes in Computer Science ; 4600Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.Description: xvi, 272 p. : ill., port., digitalISBN:- 9783540731474 (electronic bk.)
- 005.131 22
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.