 |
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  [1]
|
Hilfe 
|
 |
|
| Suche: Author="Lenhardt, Rastislav" |
|
Complexity of two-variable logic on finite trees
Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieroński, Rastislav Lenhardt, Philip Mazowiecki, James Worell
Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part II (Riga, Latvia, July 8-12, 2013)
Lecture Notes in Computer Science
7966
, 2013, pp. 74-88
| Editors | Fedor, V. Fomin, Rūsiņs̑ Freivalds, Marta Kwiatkowska, David Peleg | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg | |
| URL: |
http://dx.doi.org/10.1007/978-3-642-39212-2_10 | |
|
|
|
|