Franklin

Automata, Languages and Programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II / edited by Luca Aceto, Monika Henzinger, Jiri Sgall.

Publication:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Format/Description:
Book
1 online resource (XXVI, 666 pages)
Edition:
1st ed. 2011.
Series:
Computer Science (Springer-11645)
LNCS sublibrary. Theoretical computer science and general issues SL 1, 6756
Theoretical Computer Science and General Issues ; 6756
Contained In:
Springer eBooks
Status/Location:
Loading...

Options
Location Notes Your Loan Policy

Details

Subjects:
Computer logic.
Software engineering.
Logic, Symbolic and mathematical.
Computer networks.
Algorithms.
Computers.
Local subjects:
Logics and Meanings of Programs. (search)
Software Engineering. (search)
Mathematical Logic and Formal Languages. (search)
Computer Communication Networks. (search)
Algorithm Analysis and Problem Complexity. (search)
Computation by Abstract Devices. (search)
System Details:
text file PDF
Summary:
The two-volume set LNCS 6755 and LNCS 6756 constitutes the refereed proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, held in Zürich, Switzerland, in July 2011. The 114 revised full papers (68 papers for track A, 29 for track B, and 17 for track C) presented together with 4 invited talks, 3 best student papers, and 3 best papers were carefully reviewed and selected from a total of 398 submissions. The papers are grouped in three major tracks on algorithms, complexity and games; on logic, semantics, automata, and theory of programming; as well as on foundations of networked computation: models, algorithms and information management.
Contributor:
Aceto, Luca. editor., Editor,
Henzinger, Monika. editor., Editor,
Sgall, Jiri. editor., Editor,
SpringerLink (Online service)
Other format:
Printed edition:
Printed edition:
ISBN:
978-3-642-22012-8
9783642220128
Publisher Number:
10.1007/978-3-642-22012-8 doi
Access Restriction:
Restricted for use by site license.