PDL with Intersection and Converse is 2EXP-complete

From Tetherless World Wiki

Jump to: navigation, search

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

 author    = {Stefan G{\"o}ller and
              Markus Lohrey and
              Carsten Lutz},
 title     = {PDL with Intersection and Converse is 2EXP-complete},
 booktitle = {Algorithmic-Logical Theory of Infinite Structures},
 year      = {2007},
 ee        = {http://drops.dagstuhl.de/opus/volltexte/2008/1409},
 crossref  = {DBLP:conf/dagstuhl/2007P7441},
 bibsource = {DBLP, http://dblp.uni-trier.de}

}

\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/PDL_with_Intersection_and_Converse_is_2EXP-complete"
Personal tools