5 Tannen, Val Wong, Limsoon Libkin, Leonid Fan, Wenfei Tan, Wang-Chiew Fourman, Michael Grohe, Martin 22ss-12.00006 In Search of Elegance in the Theory and Practice of Computation / Tannen, Val (Editor) ; Berlin, Heidelberg : Springer Berlin Heidelberg, 2013, Chapter 17 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-642-41659-0=978-3-642-41660-6 ; doi:10.1007/978-3-642-41660-6 Springer Berlin Heidelberg Berlin, Heidelberg 978-3-642-41659-0 (print) 321 - 338 8000 Online-Ressource über KatalogPlus der Universitätsbibliothek RWTH Aachen verfügbar! ; In Search of Elegance in the Theory and Practice of Computation / Tannen, Val (Editor) ; Berlin, Heidelberg : Springer Berlin Heidelberg, 2013, Chapter 17 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-642-41659-0=978-3-642-41660-6 ; doi:10.1007/978-3-642-41660-6 ; 7, ; PUB:(DE-HGF)7, ; Contribution to a book 2013 ERESRWTH-2022-00019 2013 https://reserves.ub.rwth-aachen.de/record/142202 https://doi.org/10.1007/978-3-642-41660-6_17