Theory and Applications of Models of Computation

6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings

  • Jianer Chen
  • S. Barry Cooper
Conference proceedings TAMC 2009

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

Table of contents

  1. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 6th International Conference on Theory and Applications of Models of Computation, TAMC 2009, held in Changsha, China in May 2009.

The 39 full papers presented together with 7 invited papers as well as 3 plenary talks were selected from 86 submissions. The papers address the three main themes of the conference which were Computability, Complexity, and Algorithms. The conference aimed to bring together researchers with interests in theoretical computer science, algorithmic mathematics, and applications to the physical sciences.


algebra algorithm algorithms automata complexity computability computer science constraints distributed systems exponential time logic models of computation path counting tree topology undecidability

Editors and affiliations

  • Jianer Chen
    • 1
  • S. Barry Cooper
    • 2
  1. 1.Department of Computer Science and EngineeringTexas A&M UniversityTexasUSA
  2. 2.School of MathematicsUniversity of LeedsU.K.

Bibliographic information

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