@InProceedings{schwentick_et_al:DagSemProc.06451.1, author = {Schwentick, Thomas and Th\'{e}rien, Denis and Vollmer, Heribert}, title = {{06451 Abstracts Collection – Circuits, Logic, and Games }}, booktitle = {Circuits, Logic, and Games}, pages = {1--10}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6451}, editor = {Thomas Schwentick and Denis Th\'{e}rien and Heribert Vollmer}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06451.1}, URN = {urn:nbn:de:0030-drops-9785}, doi = {10.4230/DagSemProc.06451.1}, annote = {Keywords: Computational complexity theory, finite model theory, Boolean circuits, regular languages, finite monoids, Ehrenfeucht-Fra\backslash"\{\backslashi\}ss\backslash'\{e\} games} }