Theory and Applications of Models of Computation

4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings

  • Editors
  • Jin-Yi Cai
  • S. Barry Cooper
  • Hong Zhu

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

Table of contents

  1. Front Matter
  2. Plenary Lectures

  3. Contributed Papers

    1. Florian Diedrich, Rolf Harren, Klaus Jansen, Ralf Thöle, Henning Thomas
      Pages 34-45
    2. Hitoshi Yamasaki, Takayoshi Shoudai
      Pages 67-78
    3. George Barmpalias, Andrew E. M. Lewis, Mariya Soskova
      Pages 89-99
    4. Yatao Xu, Tanja Grubba
      Pages 100-114
    5. Shin-ichi Nakano, Ryuhei Uehara, Takeaki Uno
      Pages 115-127
    6. Jin Wang, Xi Bai, Jia Yu, Daxing Li
      Pages 148-158
    7. Xiaoming Hu, Shangteng Huang
      Pages 171-180
    8. Pei Shi-Hui, Zhao Yong-Zhe, Zhao Hong-Wei
      Pages 181-188
    9. Mariya Ivanova Soskova, S. Barry Cooper
      Pages 199-211

About these proceedings

Keywords

algorithm algorithms complexity computability computability theory computer computer science logic

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-72504-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-72503-9
  • Online ISBN 978-3-540-72504-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book