Information and Computation, Volume 238

Volume 238, November 2014

Special Issue on Security and Rewriting Techniques
a service of Schloss Dagstuhl - Leibniz Center for Informatics