HTML Export for TYPES 2011

Copy to Clipboard Download

<h2>LIPIcs, Volume 19, TYPES 2011</h2>
<ul>
<li>
    <span class="authors">Nils Anders Danielsson and Bengt Nordström</span>
    <span class="title">LIPIcs, Volume 19, TYPES&#039;11, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TYPES.2011">10.4230/LIPIcs.TYPES.2011</a>
</li>
<li>
    <span class="authors">Nils Anders Danielsson and Bengt Nordström</span>
    <span class="title">Frontmatter, Table of Contents, Preface, Workshop Organization</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TYPES.2011.i">10.4230/LIPIcs.TYPES.2011.i</a>
</li>
<li>
    <span class="authors">Aloïs Brunel</span>
    <span class="title">Non-constructive complex analysis in Coq</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TYPES.2011.1">10.4230/LIPIcs.TYPES.2011.1</a>
</li>
<li>
    <span class="authors">Jörg Endrullis and Andrew Polonsky</span>
    <span class="title">Infinitary Rewriting Coinductively</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TYPES.2011.16">10.4230/LIPIcs.TYPES.2011.16</a>
</li>
<li>
    <span class="authors">Johan G. Granström</span>
    <span class="title">A new approach to the semantics of model diagrams</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TYPES.2011.28">10.4230/LIPIcs.TYPES.2011.28</a>
</li>
<li>
    <span class="authors">Cezar Ionescu and Patrik Jansson</span>
    <span class="title">Testing versus proving in climate impact research</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TYPES.2011.41">10.4230/LIPIcs.TYPES.2011.41</a>
</li>
<li>
    <span class="authors">Ralph Matthes and Celia Picard</span>
    <span class="title">Verification of redecoration for infinite triangular matrices using coinduction</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TYPES.2011.55">10.4230/LIPIcs.TYPES.2011.55</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