dblp.uni-trier.de www.uni-trier.de

60. Birthday: Jean-Pierre Jouannaud, 2007

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. Lecture Notes in Computer Science 4600 Springer 2007, ISBN 978-3-540-73146-7 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Rewriting Foundations

Proof and Computation

Towards Safety and Security

Copyright © Mon Nov 2 20:22:10 2009 by Michael Ley (ley@uni-trier.de)