 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen 
|
Hilfe 
|
 |
|
| Suche: Citkey="Atserias-Oliva/13" |
|
Bounded-width QBF is PSPACE-complete
Albert Atserias, Sergi Oliva
Proceedings of the 30th International Symposium on Theoretical Aspects of Coputer Science, STACS'2013 (Kiel, Germany, February 27 - March 2, 2013)
Leibniz International Proceedings in Informatics (LIPIcs)
20
, 2013, pp. 44-54
| Editors | Natacha Portier, Thomas Wilke | |
| Publisher: | Dagstuhl Publishing, Saarbrücken/Wadern | |
| URL: |
http://drops.dagstuhl.de/opus/volltexte/2013/3921 | |
|
|
|
|