Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK RTA Christopher Lynch 6 978-3-939897-18-7 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik LIPIcs 2010 db/conf/rta/rta2010.html http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=10002