Details
| Original language | English |
|---|---|
| Pages (from-to) | 1071-1077 |
| Number of pages | 7 |
| Journal | Information Processing Letters |
| Volume | 109 |
| Issue number | 18 |
| Publication status | Published - 2009 |
Keywords
- cs.CC, cs.LO
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
In: Information Processing Letters, Vol. 109, No. 18, 2009, p. 1071-1077.
Research output: Contribution to journal › Article › Research › 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 -