10061 Abstracts Collection – Circuits, Logic, and Games

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

doi:10.4230/DagSemProc.10061.1

Document

10061 Abstracts Collection – Circuits, Logic, and Games

Authors Benjamin Rossman, Thomas Schwentick, Denis Thérien, Heribert Vollmer

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 10061
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2010-04-26

PDF

File

PDF

DagSemProc.10061.1.pdf

Filesize: 167 kB
8 pages

Document Identifiers

DOI: 10.4230/DagSemProc.10061.1
URN: urn:nbn:de:0030-drops-25280

Subject Classification

Keywords

Computational complexity theory
Finite model theory
Boolean circuits
Regular languages
Finite monoids
Ehrenfeucht-Fra{\''i}ssé-games

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

From 07/02/10 to 12/02/10, the Dagstuhl Seminar 10061 ``Circuits, Logic, and Games '' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics.
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

Benjamin Rossman, Thomas Schwentick, Denis Thérien, and Heribert Vollmer. 10061 Abstracts Collection – Circuits, Logic, and Games. In Circuits, Logic, and Games. Dagstuhl Seminar Proceedings, Volume 10061, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010) https://doi.org/10.4230/DagSemProc.10061.1

Author Details

Benjamin Rossman

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