26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland

Maribel Fernández, editor, 26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland. Volume 36 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]

Conference: RTA2015

Abstract

Abstract is missing.

Table of Contents