Dagstuhl Seminar Proceedings 10061

Circuits, Logic, and Games

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

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 10061, 07.02. - 12.02.2010
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Beyersdorff, Olaf
  • Creignou, Nadia
  • Galesi, Nicola
  • Lauria, Massimo
  • Lohmann, Peter
  • Müller, Sebastian
  • Meier, Arne
  • Rossman, Benjamin
  • Schwentick, Thomas
  • Thérien, Denis
  • Thomas, Michael
  • Vollmer, Heribert

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

    Abstract | Document (167 KB) | BibTeX

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

    Abstract | Document (186 KB) | BibTeX

    Complexity Results for Modal Dependence Logic
    Authors: Lohmann, Peter ; Vollmer, Heribert

    Abstract | Document (269 KB) | BibTeX

    Hardness of Parameterized Resolution
    Authors: Beyersdorff, Olaf ; Galesi, Nicola ; Lauria, Massimo

    Abstract | Document (469 KB) | BibTeX

    Proof Complexity of Propositional Default Logic
    Authors: Beyersdorff, Olaf ; Meier, Arne ; Müller, Sebastian ; Thomas, Michael ; Vollmer, Heribert

    Abstract | Document (450 KB) | BibTeX

    The Complexity of Reasoning for Fragments of Autoepistemic Logic
    Authors: Creignou, Nadia ; Meier, Arne ; Thomas, Michael ; Vollmer, Heribert

    Abstract | Document (293 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint
    Published by LZI