About these proceedings
This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in Copenhagen, Denmark, in July 2014. The total of 136 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 484 submissions. The papers are organized in three tracks focussing on Algorithms, Complexity, and Games, Logic, Semantics, Automata, and Theory of Programming, Foundations of Networked Computation.
approximation algorithms cellular automata computational complexity cryptography dynamic programming fault-tolerance mobile agents number theory algorithms pattern matching proof systems state compexity
Editors and affiliations
Springer-Verlag Berlin Heidelberg 2014
Springer, Berlin, Heidelberg
Series Print ISSN
Series Online ISSN