pdf-format: |
|
@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/opus/volltexte/2007/978}, 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} }
Keywords: | Computational complexity theory, finite model theory, Boolean circuits, regular languages, finite monoids, Ehrenfeucht-Fra\"{\i}ss\'{e} games | |
Seminar: | 06451 - Circuits, Logic, and Games | |
Issue date: | 2007 | |
Date of publication: | 23.04.2007 |