SMS versenden: Mathematical foundations of computer science 2012 : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings / Branislav Rovan, Vladimiro Sassone, Peter Widmayer (eds.).