PDL with Intersection and Converse Is 2 EXP-Complete

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/fossacs/GollerLL07, 

 author    = {Stefan G{\"o}ller and
              Markus Lohrey and
              Carsten Lutz},
 title     = {PDL with Intersection and Converse Is 2 EXP-Complete},
 booktitle = {FoSSaCS},
 year      = {2007},
 pages     = {198-212},
 ee        = {http://dx.doi.org/10.1007/978-3-540-71389-0_15},
 crossref  = {DBLP:conf/fossacs/2007},
 bibsource = {DBLP, http://dblp.uni-trier.de}

}

\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/PDL_with_Intersection_and_Converse_Is_2_EXP-Complete"
Personal tools