Get 40% off of select print and eBooks in Engineering & Materials Science!

Theoretical Computer Science and General Issues

Automata, Languages and Programming

35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

Editors: Aceto, L., Damgaard, I., Goldberg, L.A., Halldórsson, M.M., Ingolfsdottir, A., Walukiewicz, I. (Eds.)

Free Preview

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-540-70583-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.99
price for USA in USD
  • ISBN 978-3-540-70582-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008.

The 126 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from a total of 407 submissions. The papers are grouped in three major tracks on algorithms, automata, complexity and games, on logic, semantics, and theory of programming, and on security and cryptography foundations. LNCS 5126 contains 56 contributions of track B and track C selected from 208 submissions and 2 invited lectures. The papers for track B are organized in topical sections on bounds, distributed computation, real-time and probabilistic systems, logic and complexity, words and trees, nonstandard models of computation, reasoning about computation, and verification. The papers of track C cover topics in security and cryptography such as theory, secure computation, two-party protocols and zero-knowledge, encryption with special properties/quantum cryptography, various types of hashing, as well as public-key cryptography and authentication.

Table of contents (58 chapters)

Table of contents (58 chapters)
  • Composable Formal Security Analysis: Juggling Soundness, Simplicity and Efficiency

    Pages 1-13

    Canetti, Ran

  • Newton’s Method for ω-Continuous Semirings

    Pages 14-26

    Esparza, Javier (et al.)

  • The Tractability Frontier for NFA Minimization

    Pages 27-38

    Björklund, Henrik (et al.)

  • Finite Automata, Digraph Connectivity, and Regular Expression Size

    Pages 39-50

    Gruber, Hermann (et al.)

  • Leftist Grammars Are Non-primitive Recursive

    Pages 51-62

    Jurdziński, Tomasz

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-540-70583-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.99
price for USA in USD
  • ISBN 978-3-540-70582-6
  • 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
35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
Editors
  • Luca Aceto
  • Ivan Damgaard
  • Leslie Ann Goldberg
  • Magnús M. Halldórsson
  • Anna Ingolfsdottir
  • Igor Walukiewicz
Series Title
Theoretical Computer Science and General Issues
Series Volume
5126
Copyright
2008
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-70583-3
DOI
10.1007/978-3-540-70583-3
Softcover ISBN
978-3-540-70582-6
Edition Number
1
Number of Pages
XXII, 734
Topics