TY  - BOOK
AU  - Aceto,Luca
AU  - Henzinger,Monika
AU  - Sgall,Jiří
ED  - SpringerLink (Online service)
TI  - Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II 
T2  - Lecture Notes in Computer Science,
SN  - 9783642220128
AV  - QA76.9.L63 
U1  - 005.1015113 23
PY  - 2011///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer Communication Networks
KW  - Software engineering
KW  - Computer software
KW  - Logic design
KW  - Computer Science
KW  - Logics and Meanings of Programs
KW  - Software Engineering
KW  - Mathematical Logic and Formal Languages
KW  - Algorithm Analysis and Problem Complexity
KW  - Computation by Abstract Devices
N2  - 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
UR  - http://dx.doi.org/10.1007/978-3-642-22012-8
ER  -