Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II - Czumaj, Artur; Mehlhorn, Kurt; Pitts, Andrew; Wattenhofer, Roger (Springer Berlin Heidelberg, 2012)