Skip to main content

Automata, Languages, and Programming

41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

  • Conference proceedings
  • © 2014


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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ICALP 2014.

This is a preview of subscription content, log in via an institution to check access.

Access this book

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (49 papers)

  1. Track B: Logic, Semantics, Automata, and Theory of Programming

Other volumes

  1. Automata, Languages, and Programming

  2. Automata, Languages, and Programming


About this book

This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in Copenhagen, Denmark, in July 2014. The total of 136 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 484 submissions. The papers are organized in three tracks focussing on Algorithms, Complexity, and Games, Logic, Semantics, Automata, and Theory of Programming, Foundations of Networked Computation.

Editors and Affiliations

  • Institut für Informatik, Technische Universität München, München, Germany

    Javier Esparza

  • LIAFA, Université Paris Diderot-Paris 7, Paris Cedex 13, France

    Pierre Fraigniaud

  • IT University of Copenhagen, Copenhagen, Denmark

    Thore Husfeldt

  • Department Computer Science, University of Oxford, Oxford, UK,

    Elias Koutsoupias

Bibliographic Information

Publish with us