TY - GEN digital ID - 131706158 TI - Automata, Languages, and Programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II AU - Halldórsson, Magnús M. AU - Iwama, Kazuo AU - Kobayashi, Naoki AU - Speckmann, Bettina PY - 2015 SN - 9783662476666 9783662476673 9783662476659 PB - Berlin, Heidelberg Springer DB - UniCat KW - Information retrieval KW - Complex analysis KW - Discrete mathematics KW - Mathematics KW - Computer science KW - Programming KW - Computer architecture. Operating systems KW - Information systems KW - Computer. Automation KW - discrete wiskunde KW - complexe analyse (wiskunde) KW - applicatiebeheer KW - apps KW - computers KW - informatica KW - externe fixatie (geneeskunde KW - informatiesystemen KW - algoritmen KW - computernetwerken KW - architectuur (informatica) UR - https://www.unicat.be/uniCat?func=search&query=sysid:131706158 AB - The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The 143 revised full papers presented were carefully reviewed and selected from 507 submissions. The papers are organized in the following three tracks: algorithms, complexity, and games; logic, semantics, automata and theory of programming; and foundations of networked computation: models, algorithms and information management. ER -