Theoretical Computer Science

7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings

  • Jos C. M. Baeten
  • Tom Ball
  • Frank S. de Boer

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7604)

Table of contents

  1. Front Matter
  2. Davide Ancona, Giovanni Lagorio
    Pages 10-27
  3. Suna Bensch, Markus Holzer, Martin Kutrib, Andreas Malcher
    Pages 28-42
  4. Marijke Hans L. Bodlaender
    Pages 43-56
  5. Marijke Hans L. Bodlaender, Cor A. J. Hurkens, Vincent J. J. Kusters, Frank Staals, Gerhard J. Woeginger, Hans Zantema
    Pages 57-71
  6. Michele Boreale, Michela Paolini
    Pages 72-86
  7. Arnaud Carayol, Zoltán Ésik
    Pages 104-118
  8. Yuxin Deng, Yuan Feng
    Pages 119-133
  9. Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari
    Pages 134-148
  10. Petr Jančar, Prateek Karandikar, Philippe Schnoebelen
    Pages 149-163
  11. Galina Jirásková, Tomáš Masopust
    Pages 164-178
  12. Galina Jirásková, Benedek Nagy
    Pages 179-192
  13. Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
    Pages 193-208
  14. Philipp Küfner, Uwe Nestmann, Christina Rickmann
    Pages 209-224
  15. Salvatore La Torre, Margherita Napoli
    Pages 225-239
  16. Gerald Lüttgen, Walter Vogler
    Pages 265-279

About these proceedings


This book constitutes the refereed proceedings of the 7th FIP WG 2.2 International Conference, TCS 2012, held in Amsterdam, The Netherlands, in September 2012.
The 25 revised full papers presented, together with one invited talk, were carefully reviewed and selected from 48 submissions. New results of computation theory are presented and more broadly experts in theoretical computer science meet to share insights and ask questions about the future directions of the field.


algorithm complexity automata computation theory formal methods graphs

Editors and affiliations

  • Jos C. M. Baeten
    • 1
  • Tom Ball
    • 2
  • Frank S. de Boer
    • 1
  1. 1.Centrum Wiskunde & Informatica (CWI)AmsterdamThe Netherlands
  2. 2.Microsoft ResearchRedmondUSA

Bibliographic information

  • DOI
  • Copyright Information IFIP International Federation for Information Processing 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-33474-0
  • Online ISBN 978-3-642-33475-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors