Automata, languages and programming : 34th international colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007 : proceedings / Lars Arge [and others] (eds.).
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 submission...
Saved in:
| Main Author: | |
|---|---|
| Corporate Authors: | , |
| Format: | Ebook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[2007]
|
| Series: | Lecture notes in computer science ;
4596. |
| Subjects: | |
| Online Access: | Springer eBooks |
| Summary: | 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. |
|---|---|
| Physical Description: | 1 online resource (xvii, 953 pages) : illustrations. |
| Bibliography: | Includes bibliographical references and index. |
| ISSN: | 0302-9743 ; |