Advertisement

Fundamentals of Computation Theory

18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

  • Olaf Owe
  • Martin Steffen
  • Jan Arne Telle
Conference proceedings FCT 2011

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

Table of contents

  1. Front Matter
  2. José Meseguer, Grigore Roşu
    Pages 1-37
  3. Yuri Gurevich
    Pages 38-38
  4. Daniel Lokshtanov
    Pages 39-40
  5. Robert Bredereck, André Nichterlein, Rolf Niedermeier, Geevarghese Philip
    Pages 53-64
  6. Chia-Jung Lee, Chi-Jen Lu, Shi-Chun Tsai
    Pages 78-89
  7. Bart M. P. Jansen, Stefan Kratsch
    Pages 90-101
  8. Mila Dalla Preda, Cinzia Di Giusto
    Pages 102-113
  9. Martin Ebbesen, Paul Fischer, Carsten Witt
    Pages 114-125
  10. Jacques M. Bahi, Jean-Francois Couchot, Christophe Guyeux, Adrien Richard
    Pages 126-137
  11. Gregory Gutin, Mark Jones, Anders Yeo
    Pages 138-147
  12. Krishnendu Chatterjee, Laurent Doyen, Rohit Singh
    Pages 148-159
  13. Elliot Fairweather, Maribel Fernández, Murdoch J. Gabbay
    Pages 160-172
  14. Giorgio Ausiello, Nicolas Boria, Aristotelis Giannakos, Giorgio Lucarelli, Vangelis Th. Paschos
    Pages 181-192
  15. Petr A. Golovach, Daniël Paulusma, Jian Song
    Pages 193-204
  16. Stéphane Bessy, Anthony Perez
    Pages 229-239
  17. Pinar Heggernes, Pim van’t Hof, Bart M. P. Jansen, Stefan Kratsch, Yngve Villanger
    Pages 240-251
  18. Annabell Berger, Matthias Müller-Hannemann
    Pages 264-275
  19. Sergey Goncharov, Lutz Schröder
    Pages 276-287
  20. Mamadou Moustapha Kanté, Vincent Limouzy, Arnaud Mary, Lhouari Nourine
    Pages 298-309
  21. Nathaniel Charlton, Bernhard Reus
    Pages 310-321
  22. Fabien Givors, Gregory Lafitte
    Pages 322-335
  23. Stephen A. Fenner
    Pages 336-347
  24. Jos C. M. Baeten, Bas Luttik, Paul van Tilburg
    Pages 348-359
  25. Florian Corzilius, Erika Ábrahám
    Pages 360-371
  26. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 18th International Symposium Fundamentals of Computation Theory, FCT 2011, held in Oslo, Norway, in August 2011.
The 28 revised full papers presented were carefully reviewed and selected from 78 submissions. FCT 2011 focused on algorithms, formal methods, and emerging fields, such as ad hoc, dynamic and evolving systems; algorithmic game theory; computational biology; foundations of cloud computing and ubiquitous systems; and quantum computation.

Keywords

Turing machines approximability complexity theory computability computational graph theory term rewriting

Editors and affiliations

  • Olaf Owe
    • 1
  • Martin Steffen
    • 1
  • Jan Arne Telle
    • 2
  1. 1.Department of InformaticsUniversity of OsloOsloNorway
  2. 2.Department of InformaticsUniversity of BergenBergenNorway

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-22953-4
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-22952-7
  • Online ISBN 978-3-642-22953-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site