SPECIAL ISSUE:
Special Issue of the 20th International Conference on Rewriting Techniques and Applications 2009
Brasília, Brazil, 2009



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



DOI: 10.2168/LMCS-RTA:2009

Creative Commons