Details
| Originalsprache | undefiniert/unbekannt |
|---|---|
| Seiten (von - bis) | 727-742 |
| Fachzeitschrift | Arch. Math. Log. |
| Jahrgang | 50 |
| Ausgabenummer | 7-8 |
| Publikationsstatus | Veröffentlicht - 2011 |
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
Proof complexity of propositional default logic. / Beyersdorff, Olaf; Meier, Arne; Müller, Sebastian et al.
in: Arch. Math. Log., Jahrgang 50, Nr. 7-8, 2011, S. 727-742.
in: Arch. Math. Log., Jahrgang 50, Nr. 7-8, 2011, S. 727-742.
Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
Beyersdorff, O, Meier, A, Müller, S, Thomas, M & Vollmer, H 2011, 'Proof complexity of propositional default logic.', Arch. Math. Log., Jg. 50, Nr. 7-8, S. 727-742. https://doi.org/10.1007/S00153-011-0245-8
Beyersdorff, O., Meier, A., Müller, S., Thomas, M., & Vollmer, H. (2011). Proof complexity of propositional default logic. Arch. Math. Log., 50(7-8), 727-742. https://doi.org/10.1007/S00153-011-0245-8
Beyersdorff O, Meier A, Müller S, Thomas M, Vollmer H. Proof complexity of propositional default logic. Arch. Math. Log. 2011;50(7-8):727-742. doi: 10.1007/S00153-011-0245-8
Download
@article{fea065fd50a64c23bca29b7822eab066,
title = "Proof complexity of propositional default logic.",
author = "Olaf Beyersdorff and Arne Meier and Sebastian M{\"u}ller and Michael Thomas and Heribert Vollmer",
note = "Funding information: An extended abstract of this article appeared in the proceedings of the conference SAT{\textquoteright}10 []. Research was supported by DFG grants KO 1053/5-2 and VO 630/6-2, by a grant from the John Templeton Foundation, and by the Marie Curie FP7 Initial Training Network MALOA (no. 238381).",
year = "2011",
doi = "10.1007/S00153-011-0245-8",
language = "Undefined/Unknown",
volume = "50",
pages = "727--742",
journal = "Arch. Math. Log.",
issn = "1432-0665",
publisher = "Springer New York",
number = "7-8",
}
Download
TY - JOUR
T1 - Proof complexity of propositional default logic.
AU - Beyersdorff, Olaf
AU - Meier, Arne
AU - Müller, Sebastian
AU - Thomas, Michael
AU - Vollmer, Heribert
N1 - Funding information: An extended abstract of this article appeared in the proceedings of the conference SAT’10 []. Research was supported by DFG grants KO 1053/5-2 and VO 630/6-2, by a grant from the John Templeton Foundation, and by the Marie Curie FP7 Initial Training Network MALOA (no. 238381).
PY - 2011
Y1 - 2011
U2 - 10.1007/S00153-011-0245-8
DO - 10.1007/S00153-011-0245-8
M3 - Article
VL - 50
SP - 727
EP - 742
JO - Arch. Math. Log.
JF - Arch. Math. Log.
SN - 1432-0665
IS - 7-8
ER -