Rewriting, Computation and Proof

Rewriting, Computation and Proof

Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday

Herausgegeben: Comon-Lundh, Hubert; Kirchner, Claude; Kirchner, Hélène
Versandkostenfrei!
Versandfertig in 6-10 Tagen
38,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
19 °P sammeln!
Jean-Pierre Jouannaud has deeply influenced, and is still influencing, research in Informatics, through the many important results he has produced in various research fields and through the generations of scholars he has educated. He has played a leading role in field of rewriting and its technology, advancing the research areas of unification, rewriting and completion modulo, conditional rewriting, termination proofs, modular properties, and automated proofs by induction in rewrite theories. Following his strong interest for algebraic specification languages and their efficient implementation...