Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday
Author(s)
Bibliographic Information
Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday
(Lecture notes in computer science, 4600)
Springer, c2007
Available at / 7 libraries
-
No Libraries matched.
- Remove all filters.
Note
International conference proceedings
"Festschrift"--Cover
Includes bibliographical references and index