• search hit 13 of 13
Back to Result List

First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2014) : [frontmatter, table of contents, preface, workshop organization]

  • 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).

Download full text files

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Metadaten
URN:urn:nbn:de:hebis:30:3-344169
DOI:https://doi.org/10.4230/OASIcs.WPTE.2014.i
ISBN:978-3-939897-70-5
ISSN:2190-6807
Parent Title (German):OASIcs - OpenAccess Series in Informatics ; Volume 40
Publisher:Wadern
Place of publication:Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Editor:Manfred Schmidt-Schauß, Masahiko Sakai, David Sabel, Yuki Chiba
Document Type:Part of a Book
Language:English
Year of Completion:2014
Year of first Publication:2014
Publishing Institution:Universitätsbibliothek Johann Christian Senckenberg
Creating Corporation:WPTE’14, July 13, 2014, Vienna, Austria
Release Date:2018/04/19
Tag:Frontmatter; Preface; Table of Contents; Workshop Organization
Page Number:15
First Page:i
Last Page:xv
Note:
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.
HeBIS-PPN:432062491
Institutes:Informatik und Mathematik / Informatik
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Sammlungen:Universitätspublikationen
Licence (German):License LogoCreative Commons - Namensnennung 3.0

OPUS4 Logo