Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Halldórsson, Magnús M. (Editor), Iwama, Kazuo (Editor), Kobayashi, Naoki (Editor), Speckmann, Bettina (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
• Series: Lecture Notes in Computer Science, 9134
• Subjects: Computer science.; Computer communication systems.; Computers.; Algorithms.; Computer science > Mathematics.; Information storage and retrieval.; Computer Science.; Algorithm Analysis and Problem Complexity.; Computation by Abstract Devices.; Computer Communication Networks.; Information Storage and Retrieval.; Information Systems Applications (incl. Internet).; Discrete Mathematics in Computer Science.
• Physical Description: XXXI, 1111 p. 78 illus. online resource.
• ISBN: 9783662476727
• ISSN: 0302-9743 ;

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.