Rewriting, Computation and Proof, Fachbücher von Claude Kirchner, Hubert Comon-Lundh, Hélène Kirchner

Das Buch "Rewriting, Computation and Proof" ist eine Festschrift, die zu Ehren von Jean-Pierre Jouannaud anlässlich seines 60. Geburtstags veröffentlicht wurde. Es versammelt 13 begutachtete Beiträge von führenden Forschenden und ehemaligen Kolleginnen und Kollegen, die an einem Symposium in Cachan, Frankreich, teilnahmen. Die Beiträge sind in thematische Abschnitte unterteilt, die sich mit den Grundlagen des Rewriting, Beweisführung und Berechnung befassen. Jean-Pierre Jouannaud hat durch seine bedeutenden Ergebnisse und seine Rolle als Mentor in der Informatik einen nachhaltigen Einfluss auf die Forschung ausgeübt. Seine Arbeiten umfassen wichtige Bereiche wie Unifikation, bedingtes Rewriting und automatisierte Beweise durch Induktion. Diese Festschrift würdigt nicht nur seine wissenschaftlichen Beiträge, sondern auch seine Fähigkeiten als Teamleiter und Ausbilder.