TY - BOOK A2 - Schmidt-Schauß, Manfred A2 - Sakai, Masahiko A2 - Sabel, David A2 - Chiba, Yuki T1 - First International Workshop on Rewriting Techniques for Program Transformations and Evaluation : WPTE’14, July 13, 2014, Vienna, Austria T2 - OASIcs - OpenAccess Series in Informatics ; Volume 40 Y1 - 2014 UR - http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/41251 UR - https://nbn-resolving.org/urn:nbn:de:hebis:30:3-412519 UR - http://www.dagstuhl.de/dagpub/978-3-939897-70-5 SN - 978-3-939897-70-5 SN - 2190-6807 N1 - This work is licensed under a Creative Commons Attribution 3.0 Unported license (CC-BY 3.0): http://creativecommons.org/licenses/by/3.0/legalcode. In brief, this license authorizes each and everybody to share (to copy, distribute and transmit) the work under the following conditions, without impairing or restricting the authors’ moral rights: Attribution: The work must be attributed to its authors. The copyright is retained by the corresponding authors. PB - Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH CY - Wadern ER -