Advertisement

Automata, Languages, and Programming

40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II

  • Fedor V. Fomin
  • Rūsiņš Freivalds
  • Marta Kwiatkowska
  • David Peleg
Conference proceedings ICALP 2013

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7966)

Table of contents

  1. Track C – Foundations of Networked Computation

    1. David G. Harris, Ehab Morsy, Gopal Pandurangan, Peter Robinson, Aravind Srinivasan
      Pages 581-593
    2. Sepp Hartung, André Nichterlein, Rolf Niedermeier, Ondřej Suchý
      Pages 594-606
    3. Monika Henzinger, Sebastian Krinninger, Danupon Nanongkai
      Pages 607-619
    4. Martin Hoefer, Lisa Wagner
      Pages 620-631
    5. Tomasz Jurdzinski, Dariusz R. Kowalski, Grzegorz Stachowiak
      Pages 632-644
    6. George B. Mertzios, Othon Michail, Ioannis Chatzigiannakis, Paul G. Spirakis
      Pages 657-668
    7. George B. Mertzios, Paul G. Spirakis
      Pages 669-680
    8. Seth Pettie, Hsin-Hao Su
      Pages 681-693
  2. Back Matter

Other volumes

  1. 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I
  2. Automata, Languages, and Programming
    40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II

About these proceedings

Introduction

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.

Editors and affiliations

  • Fedor V. Fomin
    • 1
  • Rūsiņš Freivalds
    • 2
  • Marta Kwiatkowska
    • 3
  • David Peleg
    • 4
  1. 1.Department of InformaticsUniversity of BergenBergenNorway
  2. 2.Faculty of ComputingUniversity of LatviaRigaLatvia
  3. 3.Department of Computer Science, Wolfson Building, Parks RoadUniversity of OxfordOxfordUK
  4. 4.Faculty of Mathematics and Computer ScienceWeizmann Institute of ScienceRehovotIsrael

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-39212-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-39211-5
  • Online ISBN 978-3-642-39212-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Telecommunications
Law
Engineering