Details
| Originalsprache | Englisch |
|---|---|
| Fachzeitschrift | Logical Methods in Computer Science, Volume |
| Jahrgang | 10 |
| Ausgabenummer | 3 |
| Publikationsstatus | Veröffentlicht - 2014 |
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
A Fragment of Dependence Logic Capturing Polynomial Time. / Ebbing, Johannes; Kontinen, Juha; Müller, Julian-Steffen et al.
in: Logical Methods in Computer Science, Volume, Jahrgang 10, Nr. 3, 2014.
in: Logical Methods in Computer Science, Volume, Jahrgang 10, Nr. 3, 2014.
Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
Ebbing, J, Kontinen, J, Müller, J-S & Vollmer, H 2014, 'A Fragment of Dependence Logic Capturing Polynomial Time', Logical Methods in Computer Science, Volume, Jg. 10, Nr. 3. https://doi.org/10.2168/LMCS-10(3:3)2014
Ebbing, J., Kontinen, J., Müller, J.-S., & Vollmer, H. (2014). A Fragment of Dependence Logic Capturing Polynomial Time. Logical Methods in Computer Science, Volume, 10(3). https://doi.org/10.2168/LMCS-10(3:3)2014
Ebbing J, Kontinen J, Müller JS, Vollmer H. A Fragment of Dependence Logic Capturing Polynomial Time. Logical Methods in Computer Science, Volume. 2014;10(3). doi: 10.2168/LMCS-10(3:3)2014
Download
@article{74f3350c340545448bcf156100147d7c,
title = "A Fragment of Dependence Logic Capturing Polynomial Time",
keywords = "cs.LO, cs.CC",
author = "Johannes Ebbing and Juha Kontinen and Julian-Steffen M{\"u}ller and Heribert Vollmer",
year = "2014",
doi = "10.2168/LMCS-10(3:3)2014",
language = "English",
volume = "10",
number = "3",
}
Download
TY - JOUR
T1 - A Fragment of Dependence Logic Capturing Polynomial Time
AU - Ebbing, Johannes
AU - Kontinen, Juha
AU - Müller, Julian-Steffen
AU - Vollmer, Heribert
PY - 2014
Y1 - 2014
KW - cs.LO
KW - cs.CC
U2 - 10.2168/LMCS-10(3:3)2014
DO - 10.2168/LMCS-10(3:3)2014
M3 - Article
VL - 10
JO - Logical Methods in Computer Science, Volume
JF - Logical Methods in Computer Science, Volume
IS - 3
ER -