Creative Commons
| Preface J. Goubault-Larrecq and R. Treinen | ||
| Transforming Outermost into Context-Sensitive Rewriting | ||
| Joerg Endrullis and Dimitri Hendriks | ||
| A Proof Theoretic Analysis of Intruder Theories | ||
| Alwen Tiu, Rajeev Goré and Jeremy Dawson | ||
| Unification in the Description Logic EL | ||
| Franz Baader and Barbara Morawska | ||
| Modularity of Convergence and Strong Convergence in Infinitary Rewriting | ||
| Stefan Mich Kahrs | ||
| Local Termination: theory and practice | ||
| Joerg Endrullis, Roel de Vrijer and Johannes Waldmann | ||
| Well-definedness of Streams by Transformation and Termination | ||
| Hans Zantema | ||
| An Explicit Framework for Interaction Nets | ||
| Marc de Falco | ||