Rossman, Benjamin ;
Schwentick, Thomas ;
Thérien, Denis ;
Vollmer, Heribert
10061 Executive Summary -- Circuits, Logic, and Games
Abstract
In the same way as during the first seminar on "Circuits, Logic, and Games"(Nov.~2006, 06451), the organizers aimed to bring together researchers from the areas of finite model theory and computational complexity theory, since they felt that perhaps not all developments in circuit theory and in logic had been explored fully in the context of lower bounds. In fact, the interaction between
the areas has flourished a lot in the past 2-3 years, as can be exemplified by the following lines
of research.
BibTeX - Entry
@InProceedings{rossman_et_al:DSP:2010:2527,
author = {Benjamin Rossman and Thomas Schwentick and Denis Th{\'e}rien and Heribert Vollmer},
title = {10061 Executive Summary -- Circuits, Logic, and Games},
booktitle = {Circuits, Logic, and Games},
year = {2010},
editor = {Benjamin Rossman and Thomas Schwentick and Denis Th{\'e}rien and Heribert Vollmer},
number = {10061},
series = {Dagstuhl Seminar Proceedings},
ISSN = {1862-4405},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2527},
annote = {Keywords: Computational complexity theory, finite model theory, Boolean circuits, regular languages, finite monoids, Ehrenfeucht-Fra\"\i ss\'e-games}
}
|
Keywords: |
|
Computational complexity theory, finite model theory, Boolean circuits, regular languages, finite monoids, Ehrenfeucht-Fra\"\i ss\'e-games |
|
Seminar: |
|
10061 - Circuits, Logic, and Games
|
|
Issue date: |
|
2010 |
|
Date of publication: |
|
2010 |
2010
