Skip to main content
  • Conference proceedings
  • © 2004

Automata, Languages and Programming

31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings

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

Conference series link(s): ICALP: International Colloquium on Automata, Languages, and Programming

Conference proceedings info: ICALP 2004.

Buying options

eBook USD 189.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-27836-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 239.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (102 papers)

  1. Front Matter

  2. Contributed Papers

    1. Deciding Knowledge in Security Protocols Under Equational Theories

      • Martín Abadi, Véronique Cortier
      Pages 46-58
    2. Representing Nested Inductive Types Using W-Types

      • Michael Abbott, Thorsten Altenkirch, Neil Ghani
      Pages 59-71
    3. Algorithms for Multi-product Pricing

      • Gagan Aggarwal, Tomás Feder, Rajeev Motwani, An Zhu
      Pages 72-83
    4. Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas

      • Michael Alekhnovich, Edward A. Hirsch, Dmitry Itsykson
      Pages 84-96
    5. Linear and Branching Metrics for Quantitative Transition Systems

      • Luca de Alfaro, Marco Faella, Mariëlle Stoelinga
      Pages 97-109
    6. Learning a Hidden Subgraph

      • Noga Alon, Vera Asodi
      Pages 110-121
    7. Optimal Reachability for Weighted Timed Games

      • Rajeev Alur, Mikhail Bernadsky, P. Madhusudan
      Pages 122-133
    8. A λ-Calculus for Resource Separation

      • Robert Atkey
      Pages 158-170
    9. The Power of Verification for One-Parameter Agents

      • Vincenzo Auletta, Roberto De Prisco, Paolo Penna, Giuseppe Persiano
      Pages 171-182
    10. Group Spreading: A Protocol for Provably Secure Distributed Name Service

      • Baruch Awerbuch, Christian Scheideler
      Pages 183-195
    11. Further Improvements in Competitive Guarantees for QoS Buffering

      • Nikhil Bansal, Lisa K Fleischer, Tracy Kimbrel, Mohammad Mahdian, Baruch Schieber, Maxim Sviridenko
      Pages 196-207

Other Volumes

  1. Automata, Languages and Programming

    31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings

Keywords

  • Automat
  • algorithms
  • automata
  • complexity
  • computer
  • computer science
  • database
  • programming
  • data structures

Editors and Affiliations

  • Departament de Llenguatges i Sistemes Informatics, Universitat Politecnica de Catalunya, Campus Nord - Ed. Omega, Barcelona

    Josep Díaz

  • Department of Mathematics and Turku Centre for Computer Science TUCS, University of Turku, Turku, Finland

    Juhani Karhumäki

  • Department of Mathematics, University of Turku, Turku, Finland

    Arto Lepistö

  • Laboratory for Foundations of Computer Science, University of Edinburgh,  

    Donald Sannella

Bibliographic Information

Buying options

eBook USD 189.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-27836-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 239.00
Price excludes VAT (USA)