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
  17. Emmanuel Beffara, Virgile Mogbil
    Pages 280-294
  18. Federico Della Croce, Vangelis Th. Paschos
    Pages 295-309
  19. Falak Sher, Joost-Pieter Katoen
    Pages 325-341
  20. Lei Song, Jens Chr. Godskesen
    Pages 342-356
  21. Takeshi Tsukada, Naoki Kobayashi
    Pages 357-371
  22. Steffen van Bakel, Maria Grazia Vigliotti
    Pages 372-387
  23. Marijke H. L. Bodlaender, Cor A. J. Hurkens, Vincent J. J. Kusters, Frank Staals, Gerhard J. Woeginger, Hans Zantema
    Pages E2-E2
  24. Back Matter

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 Computer Science (R0)
  • Print ISBN 978-3-642-33474-0
  • Online ISBN 978-3-642-33475-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods