TY  - BOOK
AU  - Abramsky,Samson
ED  - International Colloquium on Automata, Languages, and Programming
TI  - Automata, languages and programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings
T2  - Lecture notes in computer science
SN  - 9783642141621
AV  - QA267 .I58 2010
U1  - 511.3 22
PY  - 2010///
CY  - Berlin, Heidelberg
PB  - Springer-Verlag
KW  - Machine theory
KW  - Congresses
KW  - Robots
KW  - Programming
KW  - Computer programming
KW  - Formal languages
KW  - Théorie des automates
KW  - Congrès
KW  - Programmation
KW  - Programmation (Informatique)
KW  - Langages formels
KW  - Informatique
KW  - eclas
KW  - fast
KW  - algoritmen
KW  - algorithms
KW  - computeranalyse
KW  - computer analysis
KW  - wiskunde
KW  - mathematics
KW  - informatiesystemen
KW  - information systems
KW  - internet
KW  - computerwetenschappen
KW  - computer sciences
KW  - computernetwerken
KW  - computer networks
KW  - computational science
KW  - software engineering
KW  - Information and Communication Technology (General)
KW  - Informatie- en communicatietechnologie (algemeen)
KW  - Congress
KW  - proceedings (reports)
KW  - aat
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - International conference proceedings; Includes bibliographical references and author index
N2  - Annotation The two-volume set LNCS 6198 and LNCS 6199 constitutes the refereed proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP 2010, held in Bordeaux, France, in July 2010. The 106 revised full papers (60 papers for track A, 30 for track B, and 16 for track C) presented together with 6 invited talks were carefully reviewed and selected from a total of 389 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. LNCS 6199 contains 46 contributions of track B and C selected from 167 submissions as well as 4 invited talks
UR  - https://link.springer.com/10.1007/978-3-642-14162-1
ER  -