Automata, Languages, and Programming: 41st International Colloquium, Icalp 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I

by Javier Esparza

Invited Talks.- Sporadic Solutions to Zero-One Exclusion Tasks.- Verifying and Synthesizing Software with Recursive Functions (Invited Contribution).- Track A: Algorithms, Complexity, and Games Weak Parity.- Consequences of Faster Alignment of Sequences.- Distance Labels with Optimal Local Stretch.- Time-Expanded Packings.- Deterministic Rectangle Enclosure and Offline Dominance Reporting on the RAM.- The Tropical Shadow-Vertex Algorithm Solves Mean...

• Format: Paperback
• Language: English
• ISBN: 3662439476
• ISBN13: 9783662439470
• Release Date: June 2014
• Publisher: Springer
• Length: 1090 Pages
• Weight: 3.40 lbs.
• Dimensions: 2.2" x 6.1" x 9.2"