Automata, Languages and Programming: 34th International Colloquium, ICALP 2007 Wroclaw, Poland, July 9-13, 2007 Proceedings

This book constitutes the refereed proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP 2007, held in Wroclaw, Poland in July 2007. The 76 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 242 submissions. The papers are grouped in three major tracks on algorithms, automata, complexity and games, on logic, semantics, and theory of programming, and on security and cryptography foundations.Jurdzinski, Tomasz is the author of 'Automata, Languages and Programming: 34th International Colloquium, ICALP 2007 Wroclaw, Poland, July 9-13, 2007 Proceedings', published 2007 under ISBN 9783540734192 and ISBN 3540734198.