Dagstuhl Seminar Proceedings: Circuits, Logic, and Games 2006

- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/2006P6451
- ask others
Thomas Schwentick, Denis Thérien, Heribert Vollmer (Eds.): Circuits, Logic, and Games, 08.11. - 10.11.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 Dagstuhl Seminar Proceedings 06451
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/SchoningT06
- ask others
Uwe Schöning, Jacobo Torán: A note on the size of Craig Interpolants.
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Hesse06
- ask others
William Hesse: Some Algebraic Problems with Connections to Circuit Complexity of Dynamic Data Structures.
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/WeisI06
- ask others
Philipp Weis, Neil Immerman: Structure Theorem and Strict Alternation Hierarchy for FO² on Words.
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/DurandLM06
- ask others
Arnaud Durand, Clemens Lautemann, Malika More: Counting Results in Weak Formalisms.
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/SchwentickTV06
- ask others
Thomas Schwentick, Denis Thérien, Heribert Vollmer: 06451 Executive Summary -- Circuits, Logic, and Games .
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/SchwentickTV06a
- ask others
Thomas Schwentick, Denis Thérien, Heribert Vollmer: 06451 Abstracts Collection -- Circuits, Logic, and Games .