Cover Image

Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday /

Show other versions (1)
Bibliographic Details
Other Authors: Comon, Hubert, Kirchner, Claude, Kirchner, H. (Hélène)
Format: Book
Language:English
Published: Berlin ; New York : Springer, [2007]
Series:Lecture notes in computer science ; 4600.
Lecture notes in computer science. Festschrift.
Subjects:
Jouannaud, Jean-Pierre.
Rewriting systems (Computer science) > Congresses.
Computational complexity > Congresses.
Description
Item Description:Papers presented at a symposium held in Cachan near Paris, on June 21-22, 2007.
Physical Description:xvi, 272 pages : illustrations, portrait ; 24 cm.
Bibliography:Includes bibliographical references and indexes.
ISBN:9783540731467 (pbk.)
3540731466 (pbk.)
ISSN:0302-9743 ;