06451 Abstracts Collection – Circuits, Logic, and Games

Schwentick, Thomas; Thérien, Denis; Vollmer, Heribert

doi:10.4230/DagSemProc.06451.1

Document

06451 Abstracts Collection – Circuits, Logic, and Games

Authors Thomas Schwentick, Denis Thérien, Heribert Vollmer

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 6451
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2007-04-23

PDF

File

PDF

DagSemProc.06451.1.pdf

Filesize: 191 kB
10 pages

Document Identifiers

DOI: 10.4230/DagSemProc.06451.1
URN: urn:nbn:de:0030-drops-9785

Subject Classification

Keywords

Computational complexity theory
finite model theory
Boolean circuits
regular languages
finite monoids
Ehrenfeucht-Fra\"{\i}ss\'{e} games

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

From 08.11.06 to 10.11.06, the Dagstuhl Seminar 06451 ``Circuits, Logic, and Games'' was held in the International Conference and Research Center (IBFI),
Schloss Dagstuhl.
During the seminar, several participants presented their current
research, and ongoing work and open problems were discussed. Abstracts of
the presentations given during the seminar as well as abstracts of
seminar results and ideas are put together in this paper. The first section
describes the seminar topics and goals in general.
Links to extended abstracts or full papers are provided, if available.

Cite As Get BibTex

Thomas Schwentick, Denis Thérien, and Heribert Vollmer. 06451 Abstracts Collection – Circuits, Logic, and Games. In Circuits, Logic, and Games. Dagstuhl Seminar Proceedings, Volume 6451, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007) https://doi.org/10.4230/DagSemProc.06451.1

Author Details

Thomas Schwentick

Denis Thérien

Heribert Vollmer

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail