Automata, Languages and Programming
Arge, Lars / Jurdzinski, Tomasz / Cachin, Christian
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 presented, together with four invited lectures. The papers are grouped into three major tracks covering algorithms, automata, complexity, and games, logic, semantics, and theory of programming, and security and cryptography foundations.