Details
| Originalsprache | Englisch |
|---|---|
| Fachzeitschrift | Dagstuhl Seminar Proceedings |
| Jahrgang | 10061 |
| Publikationsstatus | Veröffentlicht - 2010 |
| Veranstaltung | Dagstuhl Seminar: Circuits, Logic, and Games 2010 - Wadern, Deutschland Dauer: 7 Feb. 2010 → 12 Feb. 2010 |
ASJC Scopus Sachgebiete
- Informatik (insg.)
- Software
- Informatik (insg.)
- Hardware und Architektur
- Ingenieurwesen (insg.)
- Steuerungs- und Systemtechnik
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
Circuits, Logic, and Games. / Rossman, Benjamin; Schwentick, Thomas; Thérien, Denis et al.
in: Dagstuhl Seminar Proceedings, Jahrgang 10061, 2010.
in: Dagstuhl Seminar Proceedings, Jahrgang 10061, 2010.
Publikation: Beitrag in Fachzeitschrift › Konferenzaufsatz in Fachzeitschrift › Forschung › Peer-Review
Rossman, B, Schwentick, T, Thérien, D & Vollmer, H 2010, 'Circuits, Logic, and Games', Dagstuhl Seminar Proceedings, Jg. 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 -