Mathematical foundations of computer science 2012 : 37th international symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012 : proceedings - Branislav Rovan, editor ([Springer-Verlag, ], 2012)