Electronic Notes in Theoretical Computer Science, Volume 234

Volume 234, March 2009

Proceedings of the Third International Workshop on Security and Rewriting Techniques (SecReT 2008), Pittsburgh, PA, USA, 22 June 2008
a service of Schloss Dagstuhl - Leibniz Center for Informatics