Overview
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.
- | Author: Lars Arge
- | Publisher: Springer
- | Publication Date: Jun 29, 2007
- | Number of Pages: 958 pages
- | Binding: Paperback or Softback
- | ISBN-10: 3540734198
- | ISBN-13: 9783540734192