00000cmm a22000005i 4500 UP-99796217611058131 Buklod 20241009082912.0 m go j cr |n |||auu|a 241009s2011 gw go j eng 9783642220067 (eBook) (iLib)UPD-00210204950 DLC DMLR rda eng DMLUC QA 267 I58 2011eb Aceto, Luca. editor. Automata, languages and programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I [electronic resource] edited by Luca Aceto, Monika Henzinger, Jirí Sgall. Berlin, Heidelberg Springer Berlin Heidelberg [©2011.] 1 online resource (XXIV, 802 pages) text rdacontent computer rdamedia online resource rdacarrier The two-volume set LNCS 6755 and LNCS 6756 constitutes the refereed proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, held in Zürich, Switzerland, in July 2011. The 114 revised full papers (68 papers for track A, 29 for track B, and 17 for track C) presented together with 4 invited talks, 3 best student papers, and 3 best papers were carefully reviewed and selected from a total of 398 submissions. The papers are grouped in three major tracks on algorithms, complexity and games; on logic, semantics, automata, and theory of programming; as well as on foundations of networked computation: models, algorithms and information management Electronic reproduction. New York SpringerLink 2011. Available via World Wide Web through SpringerLink Computer science. Computer software. Computational complexity. Machine theory Congresses. Programming languages (Electronic computers) Congresses. Computer programming Congresses. Henzinger, Monika. editor. Sgall, Jiří editor. https://link.springer.com/book/10.1007/978-3-642-22006-7 Available for University of the Philippines Diliman via SpringerLink. Click here to access FO UPD DMLR Electronic Resource