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

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
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology