Skip to main content
  • Conference proceedings
  • © 2013

Fundamentals of Computation Theory

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

  • Proceedings of the 19th International Symposium on Fundamentals of Computation Theory, FCT 2013

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): FCT: International Symposium on Fundamentals of Computation Theory

Conference proceedings info: FCT 2013.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (29 papers)

  1. Distributed Deterministic Broadcasting in Uniform-Power Ad Hoc Wireless Networks

    • Tomasz Jurdzinski, Dariusz R. Kowalski, Grzegorz Stachowiak
    Pages 195-209
  2. New Sequential and Parallel Algorithms for Computing the β-Spectrum

    • Mirosław Kowaluk, Gabriela Majewska
    Pages 210-224
  3. Approximation Algorithms for the Antenna Orientation Problem

    • Evangelos Kranakis, Fraser MacQuarrie, Oscar Morales Ponce
    Pages 225-235
  4. On the Structure of Equilibria in Basic Network Formation

    • Sotiris Nikoletseas, Panagiota Panagopoulou, Christoforos Raptopoulos, Paul G. Spirakis
    Pages 259-270
  5. Domination Analysis of Algorithms for Bipartite Boolean Quadratic Programs

    • Abraham P. Punnen, Piyashat Sripratak, Daniel Karapetyan
    Pages 271-282
  6. Groups with a Recursively Enumerable Irreducible Word Problem

    • Gabriela Aslı Rino Nesin, Richard M. Thomas
    Pages 283-292
  7. Real-Time Vector Automata

    • Özlem Salehi, Abuzer Yakaryılmaz, A. C. Cem Say
    Pages 293-304
  8. Guarding Thin Orthogonal Polygons Is Hard

    • Ana Paula Tomás
    Pages 305-316
  9. Back Matter

Other Volumes

  1. Fundamentals of Computation Theory

About this book

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.

Editors and Affiliations

  • Computer Science, University of Liverpool, Liverpool, UK

    Leszek Gąsieniec

  • Department of Computer Science, University of Liverpool, United Kingdom

    Frank Wolter

Bibliographic Information

  • Book Title: Fundamentals of Computation Theory

  • Book Subtitle: 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, Proceedings

  • Editors: Leszek Gąsieniec, Frank Wolter

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-40164-0

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2013

  • Softcover ISBN: 978-3-642-40163-3Published: 08 August 2013

  • eBook ISBN: 978-3-642-40164-0Published: 22 July 2013

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 318

  • Number of Illustrations: 45 b/w illustrations

  • Topics: Theory of Computation, Discrete Mathematics in Computer Science

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access