"Automata, Languages and Programming" ed. by Lars Arge, Christian Cachin, Tomasz Jurdzinski
Lecture Notes in Computer Science, LNCS4596. 34th International Colloquium, ICALP 2007, Proceedings
Springer | 2007 | ISBN: 3540734198 9783540734192 | 970 pages | PDF | 9 MB
This volume features the refereed proceedings from the 34th International Colloquium on Automata, Languages and Programming, held in Wroclaw, Poland in July 2007. Seventy-six full papers are grouped into three major tracks covering algorithms, automata, complexity, and games; logic, semantics, and theory of programming; and security and cryptography foundations.