• Produktbild: Rewriting, Computation and Proof
  • Produktbild: Rewriting, Computation and Proof

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

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.06.2007

Abbildungen

XVI, 276 p.

Herausgeber

Hubert Comon-Lundh + weitere

Verlag

Springer Berlin

Seitenzahl

276

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

446 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-73146-7

Beschreibung

Rezension

From the reviews:



"The book … gives an overview of Jouannaud’s distinguished career and contributions, and provides an impressive list of doctoral descendants. … will be very useful not only as a reference tool for specialists, but also as an inspiration and source of ideas for budding researchers." (G. Sivakumar, ACM Computing Reviews, Vol. 49 (12), December, 2008)

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.06.2007

Abbildungen

XVI, 276 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

276

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

446 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-73146-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Rewriting, Computation and Proof
  • Produktbild: Rewriting, Computation and Proof
  • Rewriting Foundations.- The Hydra Battle Revisited.- Orderings and Constraints: Theory and Practice of Proving Termination.- Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations.- Computability Closure: Ten Years Later.- Reduction Strategies and Acyclicity.- Proof and Computation.- Towards Rewriting in Coq.- Superdeduction at Work.- Remarks on Semantic Completeness for Proof-Terms with Laird’s Dual Affine/Intuitionistic ?-Calculus.- Linear Recursive Functions.- Towards Safety and Security.- Deducibility Constraints, Equational Theory and Electronic Money.- Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms.- Towards Modular Algebraic Specifications for Pointer Programs: A Case Study.- Modeling Permutations in Coq for Coccinelle.