Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.)

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