Advertisement

Theory and Applications of Models of Computation

Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedings

  • Jin-Yi Cai
  • S. Barry Cooper
  • Angsheng Li
Conference proceedings TAMC 2006

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

Table of contents

  1. Bioinformatics

    1. Meng Zhang, Jijun Tang, Dong Guo, Liang Hu, Qiang Li
      Pages 528-537
  2. Security

    1. Haiyong Bao, Zhenfu Cao, Shengbao Wang
      Pages 538-546
    2. Takaaki Mizuki, Taro Otagiri, Hideaki Sone
      Pages 547-554
  3. Formal Method

  4. Models of Computation

    1. Cosmin Bonchiş, Gabriel Ciobanu, Cornel Izbaşa
      Pages 621-630
    2. Olivier Bournez, Manuel L. Campagnolo, Daniel S. Graça, Emmanuel Hainry
      Pages 631-643
    3. Lars Kristiansen, Paul J. Voda
      Pages 654-674
    4. Zhi Ma, Xin Lu, Keqin Feng, Dengguo Feng
      Pages 675-683
    5. Guowu Yang, Jin Yang, Xiaoyu Song, Fei Xie
      Pages 684-693
  5. Computatability

    1. Bahareh Afshari, George Barmpalias, S. Barry Cooper
      Pages 694-703
    2. Serikzhan Badaev
      Pages 704-706
    3. Sanjay Jain, Jochen Nessel, Frank Stephan
      Pages 707-720
    4. Angsheng Li, Yan Song, Guohua Wu
      Pages 721-730
    5. Boris Solon, Sergey Rozhkov
      Pages 737-745
    6. Mariya Ivanova Soskova
      Pages 746-755
    7. Frank Stephan, Liang Yu
      Pages 756-764
  6. Computable Mathematics

  7. Back Matter

About these proceedings

Keywords

algorithm algorithms bioinformatics complexity computability computability theory computer computer science formal method logic

Editors and affiliations

  • Jin-Yi Cai
    • 1
  • S. Barry Cooper
    • 2
  • Angsheng Li
    • 3
  1. 1.Computer Sciences DepartmentUniversity of WisconsinMadisonUSA
  2. 2.School of MathematicsUniversity of LeedsLeedsU.K.
  3. 3.State Key Lab. of Computer Science, Institute of SoftwareChinese Academy of Sciences 

Bibliographic information

  • DOI https://doi.org/10.1007/11750321
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-34021-8
  • Online ISBN 978-3-540-34022-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Automotive
Electronics
IT & Software
Telecommunications
Aerospace
Engineering