TY - BOOK AU - Fomin,Fedor V AU - Freivalds,Rūsiņš AU - Kwiatkowska,Marta AU - Peleg,David TI - Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II SN - 9783642392122 PY - 2013/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Computer communication systems KW - Computers KW - Algorithms KW - Mathematics KW - Information Storage and Retrieval N1 - Algorithms, complexity and games -- Logic, semantics, automata and theory of programming -- Foundations of networked computation UR - http://dx.doi.org/10.1007/978-3-642-39212-2 ER -