Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

TUM-Logo

Die bibliographische Datenbank LEABib


SuchenListe der JournaleListe der SerienListe der KonferenzenAusgewählte Publikationen Ausgewählte Publikationen Hilfe Hilfe
 
Suche: Citkey="Atserias-Dawar/12"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Degree lower bounds of tower-type for approximating formulas with parity quantifiers Publikation auswählen
Albert Atserias, Anuj Dawar

Proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP'2012, Part II (Warwick, UK, July 9-13, 2012)
Lecture Notes in Computer Science 7392 , 2012, pp. 67-78

Editors  Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg
 
URL:   http://dx.doi.org/10.1007/978-3-642-31585-5_10