Rewriting, Computation and Proof
| Author | : Hubert Comon-Lundh |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 287 |
| Release | : 2007-06-22 |
| ISBN-10 | : 9783540731467 |
| ISBN-13 | : 3540731466 |
| Rating | : 4/5 (67 Downloads) |
Book Synopsis Rewriting, Computation and Proof by : Hubert Comon-Lundh
Download or read book Rewriting, Computation and Proof written by Hubert Comon-Lundh and published by Springer Science & Business Media. This book was released on 2007-06-22 with total page 287 pages. Available in PDF, EPUB and Kindle. Book excerpt: Jean-Pierre Jouannaud has played a leading role in the field of rewriting and its technology. This Festschrift volume, published to honor him on his 60th Birthday, includes 13 refereed papers by leading researchers, current and former colleagues. The papers are grouped in thematic sections on Rewriting Foundations, Proof and Computation, and a final section entitled Towards Safety and Security.
