Automata, Languages, and Programming
Automata, Languages, and Programming
About this book
This two-volume set of LNCS 7965 and LNCS 7966 constitutes the refereed proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP 2013, held in Riga, Latvia, in July 2013. The total of 124 revised full papers presented were carefully reviewed and selected from 422 submissions. They are organized in three tracks focussing on algorithms, complexity and games; logic, semantics, automata and theory of programming; and foundations of networked computation.
Details
- OL Work ID
- OL19829191W
Subjects
Computational complexityDiscrete Mathematics in Computer ScienceInformation organizationInformation storage and retrieval systemsAlgorithm Analysis and Problem ComplexityInformation retrievalComputer Communication NetworksComputation by Abstract DevicesComputer scienceInformation Systems Applications (incl. Internet)Computer softwareFormal languagesComputer programmingComputer algorithmsMachine theoryProgramming languages (electronic computers)