HTML Export for Dagstuhl Seminar Proceedings, Volume 9441

Copy to Clipboard Download

<h2>Dagstuhl Seminar Proceedings, Volume 9441, </h2>
<ul>
<li>
    <span class="authors">Andrei A. Bulatov, Martin Grohe, Phokion G. Kolaitis, and Andrei Krokhin</span>
    <span class="title">09441 Abstracts Collection – The Constraint Satisfaction Problem: Complexity and Approximability</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.09441.1">10.4230/DagSemProc.09441.1</a>
</li>
<li>
    <span class="authors">Andrei A. Bulatov, Martin Grohe, Phokion G. Kolaitis, and Andrei Krokhin</span>
    <span class="title">09441 Executive Summary – The Constraint Satisfaction Problem: Complexity and Approximability</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.09441.2">10.4230/DagSemProc.09441.2</a>
</li>
<li>
    <span class="authors">Matt Valeriote, Simone Bova, and Hubie Chen</span>
    <span class="title">On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.09441.3">10.4230/DagSemProc.09441.3</a>
</li>
<li>
    <span class="authors">Ross Willard</span>
    <span class="title">PP-DEFINABILITY IS CO-NEXPTIME-COMPLETE</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.09441.4">10.4230/DagSemProc.09441.4</a>
</li>
<li>
    <span class="authors">Barnaby Martin and Jos Martin</span>
    <span class="title">The complexity of positive first-order logic without equality II: The four-element case</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.09441.5">10.4230/DagSemProc.09441.5</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