Dagstuhl Seminar Proceedings 06451

Circuits, Logic, and Games

T. Schwentick, D. Thérien, H. Vollmer (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 06451, 08.11. - 10.11.2006
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Durand, Arnaud
  • Hesse, William
  • Immerman, Neil
  • Lautemann, Clemens
  • More, Malika
  • Schöning, Uwe
  • Schwentick, Thomas
  • Thérien, Denis
  • Torán, Jacobo
  • Vollmer, Heribert
  • Weis, Philipp

  •   
    06451 Abstracts Collection -- Circuits, Logic, and Games
    Authors: Schwentick, Thomas ; Thérien, Denis ; Vollmer, Heribert

    Abstract | Document (191 KB) | BibTeX

    06451 Executive Summary -- Circuits, Logic, and Games
    Authors: Schwentick, Thomas ; Thérien, Denis ; Vollmer, Heribert

    Abstract | Document (96 KB) | BibTeX

    A note on the size of Craig Interpolants
    Authors: Schöning, Uwe ; Torán, Jacobo

    Abstract | Document (143 KB) | BibTeX

    Counting Results in Weak Formalisms
    Authors: Durand, Arnaud ; Lautemann, Clemens ; More, Malika

    Abstract | Document (283 KB) | BibTeX

    Some Algebraic Problems with Connections to Circuit Complexity of Dynamic Data Structures
    Authors: Hesse, William

    Abstract | Document (65 KB) | BibTeX

    Structure Theorem and Strict Alternation Hierarchy for FO² on Words
    Authors: Weis, Philipp ; Immerman, Neil

    Abstract | Document (273 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint
    Published by LZI