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 BibTeX

Rewriting Foundations

Proof and Computation

Towards Safety and Security

Copyright © Sat May 16 22:59:41 2009 by Michael Ley (ley@uni-trier.de)