60. Birthday: Jean-Pierre Jouannaud, 2007

Rewriting Foundations

Proof and Computation

Towards Safety and Security

a service of Schloss Dagstuhl - Leibniz Center for Informatics