Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday

Book Informaton
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday

Author

Hubert Comon-Lundh; Claude Kirchner; Hélène Kirchner

Series

Lecture Notes in Computer Science

Volume

4600

Year of Publication

2007

Publisher

Springer Berlin Heidelberg

Language

EN

ISBN

9783540731467, 9783540731474

ARI Id

1674219781447

Find on

World Cat

OpenLibrary

Internet Archive

This page has been accessed 5 times.
Access Options
Springer
Citation Options
Download Citation
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo