TY  - BOOK
A2  - Yuki, Chiba
A2  - Escobar, Santiago
A2  - Nishida, Naoki
A2  - Sabel, David
A2  - Schmidt-Schauß, Manfred
T1  - 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation : WPTE’15, July 2, 2015, Warsaw, Poland
T2  - OASIcs - OpenAccess Series in Informatics ; Volume 46
N2  - Contents:
Yuki Chiba, Santiago Escobar, Naoki Nishida, and David Sabel, and Manfred Schmidt-Schauß : Preface: 
The Collection of all Abstracts of the Talks at WPTE 2015 xi
Brigitte Pientka : Mechanizing Meta-Theory in Beluga
Giulio Guerrieri : Head reduction and normalization in a call-by-value lambda-calculus
Adrián Palacios and Germán Vidal : Towards Modelling Actor-Based Concurrency in Term Rewriting
David Sabel and Manfred Schmidt-Schauß : Observing Success in the Pi-Calculus
Sjaak Smetsers, Ken Madlener, and Marko van Eekelen : Formalizing Bialgebraic Semantics in PVS 6.0
Y1  - 2015
UR  - http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/41336
UR  - https://nbn-resolving.org/urn:nbn:de:hebis:30:3-413363
UR  - http://www.dagstuhl.de/dagpub/978-3-939897-94-1
SN  - 978-3-939897-94-1
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  -