جزییات کتاب
The 34th International Colloquium on Automata, Languages and Programming was held in Wroclaw, Poland in July 2007. This volume features the refereed proceedings from that meeting.Seventy-six full papers are presented, together with four invited lectures. Each paper, submitted by an expert in the field, was carefully reviewed to ensure that all the papers in this volume are accurate, thorough, and easy to follow. 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.Readers will discover important new research findings and applications in the field.