HTML Export for Dagstuhl Reports, Volume 1, Issue 7

Copy to Clipboard Download

<h2>Dagstuhl Reports, Volume 1, Issue 7, </h2>
<ul>
<li>
    <span class="title">Dagstuhl Reports, Volume 1, Issue 7, July 2011, Complete Issue</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.1.7">10.4230/DagRep.1.7</a>
</li>
<li>
    <span class="title">Dagstuhl Reports, Table of Contents, Volume 1, Issue 7, 2011</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.1.7.i">10.4230/DagRep.1.7.i</a>
</li>
<li>
    <span class="authors">Martin Lames, Tim McGarry, Bernhard Nebel, and Karen Roemer</span>
    <span class="title">Computer Science in Sport - Special emphasis: Football (Dagstuhl Seminar 11271)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.1.7.1">10.4230/DagRep.1.7.1</a>
</li>
<li>
    <span class="authors">Nikolaj Bjorner, Robert Nieuwenhuis, Helmut Veith, and Andrei Voronkov</span>
    <span class="title">Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.1.7.23">10.4230/DagRep.1.7.23</a>
</li>
<li>
    <span class="authors">R. Michael Alvarez, Josh Benaloh, Alon Rosen, and Peter Y. A. Ryan</span>
    <span class="title">Verifiable Elections and the Public (Dagstuhl Seminar 11281)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.1.7.36">10.4230/DagRep.1.7.36</a>
</li>
<li>
    <span class="authors">Matthias Hein, Gabor Lugosi, Lorenzo Rosasco, and Steve Smale</span>
    <span class="title">Mathematical and Computational Foundations of Learning Theory (Dagstuhl Seminar 11291)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.1.7.53">10.4230/DagRep.1.7.53</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