Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique

@inproceedings{Yan2006LowerBF,
  title={Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique},
  author={Qiqi Yan},
  booktitle={ICALP},
  year={2006}
}
Vol. 4 (1:?) 2008, pp. 1–1–20 www.lmcs-online.org Submitted Jul. 25, 2007 Published Mar. ??, 2008 LOWER BOUNDS FOR COMPLEMENTATION OF ω -AUTOMATA VIA THE FULL AUTOMATA TECHNIQUE ∗ QIQI YAN Department of Computer S ien e and Engineering, Shanghai Jiao Tong University, 200240, Shanghai, P.R. China e-mail address: onta t qiqiyan. om Abstra t. In this paper, we… CONTINUE READING