Ebook: Automata, Languages and Programming: 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings
Author: Bernard Chazelle (auth.) Lars Arge Christian Cachin Tomasz Jurdziński Andrzej Tarlecki (eds.)
- Genre: Computers // Programming
- Tags: Theory of Computation, Software Engineering/Programming and Operating Systems, Discrete Mathematics in Computer Science, Numeric Computing, Data Structures, Data Structures Cryptology and Information Theory
- Series: Lecture Notes in Computer Science 4596 : Theoretical Computer Science and General Issues
- Year: 2007
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
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.
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.