TY  - CHAP
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 2014) : [frontmatter, table of contents, preface, workshop organization]
T2  - OASIcs - OpenAccess Series in Informatics ; Volume 40
N2  - This volume contains the papers presented at the First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2014) which was held on July 13, 2014 in Vienna, Austria during the Vienna Summer of Logic 2014 (VSL 2014) as a workshop of the Sixth Federated Logic Conference (FLoC 2014). WPTE 2014 was affiliated with the 25th International Conference on Rewriting Techniques and Applications joined with the 12th International Conference on Typed Lambda Calculi and Applications (RTA/TLCA 2014).
KW  - Frontmatter
KW  - Table of Contents
KW  - Preface
KW  - Workshop Organization
Y1  - 2014
UR  - http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/34416
UR  - https://nbn-resolving.org/urn:nbn:de:hebis:30:3-344169
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.
SP  - i
EP  - xv
PB  - Wadern
CY  - Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
ER  -