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 [2] Hilfe Hilfe
 
Suche: Author="Eickmeyer, Kord"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Expressivity and succinctness of order-invariant logics on depth-bounded structures Publikation auswählen
Kord Eickmeyer, Michael Elberfeld, Frederik Harwath

Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)
Lecture Notes in Computer Science 8634 , 2014, pp. 256-266

Editors  Erzsébet Csuhaj-Varjú, Martin Dietzfelbinger, Zoltán Ésik
Publisher:  Springer-Verlag GmbH
Address:  Berlin-Heidelberg
 
URL:   http://dx.doi.org/10.1007/978-3-662-44522-8_22