Rewriting, Computation and Proof

Kirchner H. L. Ne Kirchner Claude Comon-Lundh Hubert

ISBN 10: 3540731466 / ISBN 13: 9783540731467

Edité par Springer, 2007

A propos de cet article

PRINT ON DEMAND pp. 294.

N° de réf. du vendeur 18301376

Détails bibliographiques

• Titre: Rewriting, Computation and Proof
• Éditeur: Springer
• Date de parution: 2007
• Langue: anglais
• ISBN à 10 chiffres: 3540731466
• ISBN à 13 chiffres: 9783540731467
• Reliure: Couverture souple
• État de l'article: New

A propos de ce titre

Synopsis

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.