Lecture Notes in Computer Science

Automata, Languages and Programming

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

Editors: Diaz, J., Karhumäki, J., Lepistö, A., Sannella, D. (Eds.)

Buy this book

eBook $189.00
price for USA (gross)
  • ISBN 978-3-540-27836-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $239.00
price for USA
  • ISBN 978-3-540-22849-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (102 chapters)

  • Self-Adjusting Computation

    Harper, Robert

    Pages 1-2

  • The Past, Present, and Future of Web Search Engines

    Henzinger, Monika

    Pages 3-3

  • What Do Program Logics and Type Systems Have in Common?

    Hofmann, Martin

    Pages 4-7

  • Feasible Proofs and Computations: Partnership and Fusion

    Razborov, Alexander A.

    Pages 8-14

  • Grammar Compression, LZ-Encodings, and String Algorithms with Implicit Input

    Rytter, Wojciech

    Pages 15-27

Buy this book

eBook $189.00
price for USA (gross)
  • ISBN 978-3-540-27836-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $239.00
price for USA
  • ISBN 978-3-540-22849-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automata, Languages and Programming
Book Subtitle
31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings
Editors
  • Josep Diaz
  • Juhani Karhumäki
  • Arto Lepistö
  • Donald Sannella
Series Title
Lecture Notes in Computer Science
Series Volume
3142
Copyright
2004
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-27836-8
DOI
10.1007/b99859
Softcover ISBN
978-3-540-22849-3
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XXXVIII, 1256
Topics