Theoretical Computer Science and General Issues

Automata, Languages, and Programming

39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II

Editors: Czumaj, A., Mehlhorn, K., Pitts, A., Wattenhofer, R. (Eds.)

  • Up-to-date results
  • Fast-track conference proceedings
  • State-of-the-art research
see more benefits

Buy this book

eBook $89.00
price for USA (gross)
  • ISBN 978-3-642-31585-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA
  • ISBN 978-3-642-31584-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in Warwick, UK, in July 2012. The total of 123 revised full papers presented in this volume were carefully reviewed and selected from 432 submissions. They are organized in three tracks focussing on algorithms, complexity and games; logic, semantics, automata and theory of programming; and foundations of networked computation.

Table of contents (58 chapters)

  • On Multiple Keyword Sponsored Search Auctions with Budgets

    Colini-Baldeschi, Riccardo (et al.)

    Pages 1-12

  • A Theory Independent Curry-De Bruijn-Howard Correspondence

    Dowek, Gilles

    Pages 13-15

  • Standing on the Shoulders of a Giant

    Harel, David

    Pages 16-22

  • Session Types and Distributed Computing

    Honda, Kohei

    Pages 23-23

  • Algorithms, Graph Theory, and the Solution of Laplacian Linear Equations

    Spielman, Daniel A.

    Pages 24-26

Buy this book

eBook $89.00
price for USA (gross)
  • ISBN 978-3-642-31585-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA
  • ISBN 978-3-642-31584-8
  • 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
39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II
Editors
  • Artur Czumaj
  • Kurt Mehlhorn
  • Andrew Pitts
  • Roger Wattenhofer
Series Title
Theoretical Computer Science and General Issues
Series Volume
7392
Copyright
2012
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-31585-5
DOI
10.1007/978-3-642-31585-5
Softcover ISBN
978-3-642-31584-8
Edition Number
1
Number of Pages
700
Number of Illustrations and Tables
51 b/w illustrations
Topics