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

by Javier Esparza

Track B: Logic, Semantics, Automata, and Theory of Programming.- Symmetric Groups and Quotient Complexity of Boolean Operations.- Handling Infinitely Branching WSTS.- Transducers with Origin Information.- Weak MSO+U with Path Quantifiers over Infinite Trees.- On the Decidability of MSO+U on Infinite Trees.- A Coalgebraic Foundation for Coinductive Union Types.- Turing Degrees of Limit Sets of Cellular Automata.- On the Complexity of Temporal-Logic...

• Format: Paperback
• Language: English
• ISBN: 3662439506
• ISBN13: 9783662439500
• Release Date: June 2014
• Publisher: Springer
• Length: 624 Pages
• Weight: 1.99 lbs.
• Dimensions: 1.3" x 6.1" x 9.2"