Rewriting, computation and proof
Subtitle: essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday
By: Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.).
Contributors: Comon, Hubert.; Kirchner, Claude.; Kirchner, H.
Series: Lecture notes in computer science -- 4600. -- Festschrift; Lecture notes in computer science -- 4600.; Lecture notes in computer science
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 272
ISBN-13: 9783540731467
Subjects: Jouannaud, Jean-Pierre.; Rewriting systems (Computer science) -- Congresses.; Computational complexity -- Congresses.
Genres: Congresses.
Notes: Papers presented at a symposium held in Cachan near Paris, on June 21-22, 2007.

Includes bibliographical references and indexes.