HTML Export for Dagstuhl Seminar Proceedings, Volume 6451

Copy to Clipboard Download

<h2>Dagstuhl Seminar Proceedings, Volume 6451, </h2>
<ul>
<li>
    <span class="authors">Thomas Schwentick, Denis Thérien, and Heribert Vollmer</span>
    <span class="title">06451 Abstracts Collection – Circuits, Logic, and Games</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.06451.1">10.4230/DagSemProc.06451.1</a>
</li>
<li>
    <span class="authors">Thomas Schwentick, Denis Thérien, and Heribert Vollmer</span>
    <span class="title">06451 Executive Summary – Circuits, Logic, and Games</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.06451.2">10.4230/DagSemProc.06451.2</a>
</li>
<li>
    <span class="authors">Uwe Schöning and Jacobo Torán</span>
    <span class="title">A note on the size of Craig Interpolants</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.06451.3">10.4230/DagSemProc.06451.3</a>
</li>
<li>
    <span class="authors">Arnaud Durand, Clemens Lautemann, and Malika More</span>
    <span class="title">Counting Results in Weak Formalisms</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.06451.4">10.4230/DagSemProc.06451.4</a>
</li>
<li>
    <span class="authors">William Hesse</span>
    <span class="title">Some Algebraic Problems with Connections to Circuit Complexity of Dynamic Data Structures</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.06451.5">10.4230/DagSemProc.06451.5</a>
</li>
<li>
    <span class="authors">Philipp Weis and Neil Immerman</span>
    <span class="title">Structure Theorem and Strict Alternation Hierarchy for FO² on Words</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.06451.6">10.4230/DagSemProc.06451.6</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