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

This collection of essays celebrates the significant contributions of Jean-Pierre Jouannaud to the field of rewriting and its applications. Renowned scholars Hélène Kirchner and Hubert Comon-Lundh have curated a selection of works that delve into the intricate relationship between rewriting, computation, and proof. Each piece reflects the diverse perspectives and innovative ideas that Jouannaud has inspired in his peers.

Contributors explore various aspects of rewriting, discussing both theoretical foundations and practical implications. The essays cover a range of topics, highlighting advancements in the field and presenting new methodologies influenced by Jouannaud's research. Readers will find thought-provoking discussions that challenge traditional notions and push the boundaries of current knowledge.

As a tribute to Jouannaud’s 60th birthday, this compilation not only honors his legacy but also invites further exploration into the evolving landscape of computer science. It serves as an essential resource for students and researchers eager to engage with the fundamental concepts that underpin rewriting and computation, fostering a deeper understanding of the discipline.