Details
| Originalsprache | Englisch |
|---|---|
| Seiten (von - bis) | 1071-1077 |
| Seitenumfang | 7 |
| Fachzeitschrift | Information Processing Letters |
| Jahrgang | 109 |
| Ausgabenummer | 18 |
| Publikationsstatus | Veröffentlicht - 2009 |
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
in: Information Processing Letters, Jahrgang 109, Nr. 18, 2009, S. 1071-1077.
Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
}
TY - JOUR
T1 - The complexity of propositional implication
AU - Beyersdorff, Olaf
AU - Meier, Arne
AU - Thomas, Michael
AU - Vollmer, Heribert
N1 - Funding information: ? Research supported in part by DFG grant VO 630/6-1. * Corresponding author. E-mail addresses: beyersdorff@thi.uni-hannover.de (O. Beyersdorff), meier@thi.uni-hannover.de (A. Meier), thomas@thi.uni-hannover.de (M. Thomas), vollmer@thi.uni-hannover.de (H. Vollmer).
PY - 2009
Y1 - 2009
KW - cs.CC
KW - cs.LO
U2 - 10.1016/j.ipl.2009.06.015
DO - 10.1016/j.ipl.2009.06.015
M3 - Article
VL - 109
SP - 1071
EP - 1077
JO - Information Processing Letters
JF - Information Processing Letters
SN - 0020-0190
IS - 18
ER -