Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2004

Automata, Languages and Programming

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

Editors:

  1. Josep Díaz

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Juhani Karhumäki

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Arto Lepistö

    1. Department of Mathematics, University of Turku, Turku, Finland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Donald Sannella

    1. Laboratory for Foundations of Computer Science, University of Edinburgh,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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.

Sections

Buy it now

eBook USD 189.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 239.00
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

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

Table of contents (102 papers)

  1. Front Matter

    PDF

  3. 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

    10. A λ-Calculus for Resource Separation

      • Robert Atkey
      Pages 158-170

    11. The Power of Verification for One-Parameter Agents

      • Vincenzo Auletta, Roberto De Prisco, Paolo Penna, Giuseppe Persiano
      Pages 171-182

    12. Group Spreading: A Protocol for Provably Secure Distributed Name Service

      • Baruch Awerbuch, Christian Scheideler
      Pages 183-195

    13. Further Improvements in Competitive Guarantees for QoS Buffering

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

Other Volumes

  1. Automata, Languages and Programming

Back to top

Keywords

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 189.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 239.00
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

Search

Navigation