Details
| Original language | English |
|---|---|
| Journal | Logical Methods in Computer Science, Volume |
| Volume | 10 |
| Issue number | 3 |
| Publication status | Published - 2014 |
Keywords
- cs.LO, cs.CC
Cite this
- 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, Vol. 10, No. 3, 2014.
In: Logical Methods in Computer Science, Volume, Vol. 10, No. 3, 2014.
Research output: Contribution to journal › Article › Research › 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, vol. 10, no. 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 -