pdf-format: |
|
@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: | 26.04.2010 |