Details
| Original language | English |
|---|---|
| Journal | Dagstuhl Seminar Proceedings |
| Volume | 10061 |
| Publication status | Published - 2010 |
| Event | Dagstuhl Seminar: Circuits, Logic, and Games 2010 - Wadern, Germany Duration: 7 Feb 2010 → 12 Feb 2010 |
Keywords
- Boolean circuits, computational complexity theory, Ehrenfeucht-Fraïssé-games, finite model theory, finite monoids, regular languages
ASJC Scopus subject areas
- Computer Science(all)
- Software
- Computer Science(all)
- Hardware and Architecture
- Engineering(all)
- Control and Systems Engineering
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Circuits, Logic, and Games. / Rossman, Benjamin; Schwentick, Thomas; Thérien, Denis et al.
In: Dagstuhl Seminar Proceedings, Vol. 10061, 2010.
In: Dagstuhl Seminar Proceedings, Vol. 10061, 2010.
Research output: Contribution to journal › Conference article › Research › peer review
Rossman, B, Schwentick, T, Thérien, D & Vollmer, H 2010, 'Circuits, Logic, and Games', Dagstuhl Seminar Proceedings, vol. 10061.
Rossman, B., Schwentick, T., Thérien, D., & Vollmer, H. (2010). Circuits, Logic, and Games. Dagstuhl Seminar Proceedings, 10061.
Rossman B, Schwentick T, Thérien D, Vollmer H. Circuits, Logic, and Games. Dagstuhl Seminar Proceedings. 2010;10061.
Download
@article{fcc8cc71b8634dc58393544f813e4ae1,
title = "Circuits, Logic, and Games",
keywords = "Boolean circuits, computational complexity theory, Ehrenfeucht-Fra{\"i}ss{\'e}-games, finite model theory, finite monoids, regular languages",
author = "Benjamin Rossman and Thomas Schwentick and Denis Th{\'e}rien and Heribert Vollmer",
year = "2010",
language = "English",
volume = "10061",
note = "Dagstuhl Seminar: Circuits, Logic, and Games 2010 ; Conference date: 07-02-2010 Through 12-02-2010",
}
Download
TY - JOUR
T1 - Circuits, Logic, and Games
AU - Rossman, Benjamin
AU - Schwentick, Thomas
AU - Thérien, Denis
AU - Vollmer, Heribert
PY - 2010
Y1 - 2010
KW - Boolean circuits
KW - computational complexity theory
KW - Ehrenfeucht-Fraïssé-games
KW - finite model theory
KW - finite monoids
KW - regular languages
UR - http://www.scopus.com/inward/record.url?scp=85175090804&partnerID=8YFLogxK
M3 - Conference article
AN - SCOPUS:85175090804
VL - 10061
JO - Dagstuhl Seminar Proceedings
JF - Dagstuhl Seminar Proceedings
SN - 1862-4405
T2 - Dagstuhl Seminar: Circuits, Logic, and Games 2010
Y2 - 7 February 2010 through 12 February 2010
ER -