HTML Export for WPTE 2015

Copy to Clipboard Download

<h2>OASIcs, Volume 46, WPTE 2015</h2>
<ul>
<li>
    <span class="authors">Yuki Chiba, Santiago Escobar, Naoki Nishida, David Sabel, and Manfred Schmidt-Schauß</span>
    <span class="title">OASIcs, Volume 46, WPTE&#039;15, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WPTE.2015">10.4230/OASIcs.WPTE.2015</a>
</li>
<li>
    <span class="authors">Yuki Chiba, Santiago Escobar, Naoki Nishida, David Sabel, and Manfred Schmidt-Schauß</span>
    <span class="title">Frontmatter, Table of Contents, Preface, Workshop Organization</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WPTE.2015.i">10.4230/OASIcs.WPTE.2015.i</a>
</li>
<li>
    <span class="authors">Brigitte Pientka</span>
    <span class="title">Mechanizing Meta-Theory in Beluga (Invited Talk)</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WPTE.2015.1">10.4230/OASIcs.WPTE.2015.1</a>
</li>
<li>
    <span class="authors">Giulio Guerrieri</span>
    <span class="title">Head reduction and normalization in a call-by-value lambda-calculus</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WPTE.2015.3">10.4230/OASIcs.WPTE.2015.3</a>
</li>
<li>
    <span class="authors">Adrián Palacios and Germán Vidal</span>
    <span class="title">Towards Modelling Actor-Based Concurrency in Term Rewriting</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WPTE.2015.19">10.4230/OASIcs.WPTE.2015.19</a>
</li>
<li>
    <span class="authors">David Sabel and Manfred Schmidt-Schauß</span>
    <span class="title">Observing Success in the Pi-Calculus</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WPTE.2015.31">10.4230/OASIcs.WPTE.2015.31</a>
</li>
<li>
    <span class="authors">Sjaak Smetsers, Ken Madlener, and Marko van Eekelen</span>
    <span class="title">Formalizing Bialgebraic Semantics in PVS 6.0</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WPTE.2015.47">10.4230/OASIcs.WPTE.2015.47</a>
</li>
</ul>

The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.

Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode