Get your next eBook for only 9.99! Stock up on Springer Protocols! Available through Aug 17, 2018.

Theoretical Computer Science and General Issues

Language and Automata Theory and Applications

6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012, Proceedings

Editors: Dediu, Adrian-Horia, Martín-Vide, Carlos (Eds.)

  • Fast track conference proceedings
  • Unique visibility
  • State of the art research
see more benefits

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-642-28332-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-642-28331-4
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
About this book

This book constitutes the refereed proceedings of the 6th International Conference on Language and Automata Theory and Applications, LATA 2012, held in A Coruña, Spain in March 2012. The 41 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 114 initial submissions. The volume features contributions from both classical theory fields and application areas; e.g. innformatics, systems biology, language technology, artificial intelligence, etc. Among the topics covered are algebraic language theory, automata and logic, systems analysis, systems verifications, computational complexity, decidability, unification, graph transformations, language-based cryptography, and applications in data mining, computational learning, and pattern recognition.

Table of contents (46 chapters)

  • Measuring Information in Timed Languages

    Asarin, Eugene

    Pages 1-2

  • Automata-Based Symbolic Representations of Polyhedra

    Boigelot, Bernard (et al.)

    Pages 3-20

  • Around the Physical Church-Turing Thesis: Cellular Automata, Formal Languages, and the Principles of Quantum Theory

    Dowek, Gilles

    Pages 21-37

  • A Parameterized Complexity Tutorial

    Downey, Rod

    Pages 38-56

  • The Computer Science of DNA Nanotechnology

    Lutz, Jack H.

    Pages 57-57

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-642-28332-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-642-28331-4
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Language and Automata Theory and Applications
Book Subtitle
6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012, Proceedings
Editors
  • Adrian-Horia Dediu
  • Carlos Martín-Vide
Series Title
Theoretical Computer Science and General Issues
Series Volume
7183
Copyright
2012
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag GmbH Berlin Heidelberg
eBook ISBN
978-3-642-28332-1
DOI
10.1007/978-3-642-28332-1
Softcover ISBN
978-3-642-28331-4
Edition Number
1
Number of Pages
XII, 556
Number of Illustrations and Tables
64 b/w illustrations
Topics