Fundamentals of Computation Theory

19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings

  • Leszek Gąsieniec
  • Frank Wolter
Conference proceedings FCT 2013

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

Table of contents

  1. Front Matter
  2. Tatsuya Akutsu, Takeyuki Tamura, Avraham A. Melkman, Atsuhiro Takasu
    Pages 4-15
  3. Vikraman Arvind, Johannes Köbler, Sebastian Kuhnert, Gaurav Rattan, Yadu Vasudev
    Pages 16-27
  4. Yuichi Asahiro, Hiroshi Eto, Takehiro Ito, Eiji Miyano
    Pages 28-39
  5. Neta Barkay, Ely Porat, Bar Shalem
    Pages 48-59
  6. Joan Boyar, Kim S. Larsen, Abyayananda Maiti
    Pages 60-71
  7. Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
    Pages 72-83
  8. Yixin Cao, Jianer Chen, Jia-Hao Fan
    Pages 84-94
  9. Arnaud Casteigts, Paola Flocchini, Emmanuel Godard, Nicola Santoro, Masafumi Yamashita
    Pages 95-106
  10. David Cattanéo, Simon Perdrix
    Pages 107-120
  11. Steven Chaplick, Jiří Fiala, Pim van ’t Hof, Daniël Paulusma, Marek Tesař
    Pages 121-132
  12. Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi
    Pages 133-144
  13. Antonio Fernández Anta, Chryssis Georgiou, Dariusz R. Kowalski, Elli Zavou
    Pages 145-158
  14. Joan Boyar, Magnus Gausdal Find
    Pages 159-170
  15. Laurent Gourvès, Jérôme Monnot, Aris T. Pagourtzis
    Pages 171-182
  16. Wing-Kai Hon, Ton Kloks, Hsiang-Hsuan Liu, Sheung-Hung Poon, Yue-Li Wang
    Pages 183-194
  17. Tomasz Jurdzinski, Dariusz R. Kowalski, Grzegorz Stachowiak
    Pages 195-209
  18. Mirosław Kowaluk, Gabriela Majewska
    Pages 210-224
  19. Evangelos Kranakis, Fraser MacQuarrie, Oscar Morales Ponce
    Pages 225-235
  20. Sotiris Nikoletseas, Panagiota Panagopoulou, Christoforos Raptopoulos, Paul G. Spirakis
    Pages 259-270
  21. Abraham P. Punnen, Piyashat Sripratak, Daniel Karapetyan
    Pages 271-282
  22. Gabriela Aslı Rino Nesin, Richard M. Thomas
    Pages 283-292
  23. Özlem Salehi, Abuzer Yakaryılmaz, A. C. Cem Say
    Pages 293-304
  24. Ana Paula Tomás
    Pages 305-316
  25. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 19th International Symposium on Fundamentals of Computation Theory, FCT 2013, held in Liverpool, UK, in August 2013. The 29 papers (26 full papers and 3 invited papers) were carefully reviewed and selected from 58 submissions. The papers cover the following topics: algorithms, formal methods, and emerging fields.


approximation algorithms automata graphs parameterized algorithms scheduling

Editors and affiliations

  • Leszek Gąsieniec
    • 1
  • Frank Wolter
    • 2
  1. 1.Computer ScienceUniversity of LiverpoolLiverpoolUK
  2. 2.Department of Computer ScienceUniversity of LiverpoolUnited Kingdom

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-40163-3
  • Online ISBN 978-3-642-40164-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software