Advertisement

Theory and Applications of Models of Computation

5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings

  • Editors
  • Manindra Agrawal
  • Dingzhu Du
  • Zhenhua Duan
  • Angsheng Li

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

Table of contents

  1. Front Matter
  2. Plenary Lectures

  3. Special Session Lectures

    1. Edwin Beggs, José Félix Costa, Bruno Loff, John Tucker
      Pages 20-30
    2. Miklos Santha
      Pages 31-46
  4. Contributed Lectures

    1. Stephen Fenner, Yong Zhang
      Pages 70-81
    2. Jianxin Wang, Qilong Feng
      Pages 82-93
    3. Skip Jordan, Thomas Zeugmann
      Pages 94-104
    4. Angsheng Li, Linqing Tang
      Pages 105-115
    5. Angsheng Li, Weilin Li, Yicheng Pan, Linqing Tang
      Pages 116-124
    6. Jiří Fiala, Petr A. Golovach, Jan Kratochvíl
      Pages 125-135
    7. Jean-Yves Marion, Romain Péchoux
      Pages 136-147
    8. Lars Kristiansen, Paul J. Voda
      Pages 148-159
    9. J. Czyzowicz, S. Dobrev, H. González-Aguilar, R. Kralovic, E. Kranakis, J. Opatrny et al.
      Pages 170-181
    10. Jianxin Wang, Dan Ning, Qilong Feng, Jianer Chen
      Pages 212-222
    11. Bin Fu, Ming-Yang Kao, Lusheng Wang
      Pages 234-245
    12. Pok-Son Kim, Arne Kutzner
      Pages 246-257
    13. Mingyu Xiao
      Pages 270-281
    14. Haibin Zhang, Zhenhua Duan
      Pages 294-305
    15. Pinar Heggernes, Daniel Meister, Charis Papadopoulos
      Pages 330-341
    16. Grégory Lafitte, Michael Weiss
      Pages 375-387
    17. Cindy Y. Li, Prudence W. H. Wong, Qin Xin, Fencol C. C. Yung
      Pages 410-422
    18. Klaus Ambos-Spies, Serikzhan Badaev, Sergey Goncharov
      Pages 423-432
    19. Minzhu Xie, Jianxin Wang, Jianer Chen
      Pages 433-444
    20. Jiong Guo, Falk Hüffner, Christian Komusiewicz, Yong Zhang
      Pages 445-456
    21. Rupert Hölzl, Wolfgang Merkle
      Pages 457-466
    22. Stephane Durocher, Evangelos Kranakis, Danny Krizanc, Lata Narayanan
      Pages 467-478
    23. Serge Gaspers, Saket Saurabh, Alexey A. Stepanov
      Pages 479-489
    24. Oriana Ponta, Falk Hüffner, Rolf Niedermeier
      Pages 490-501
    25. Bakhadyr Khoussainov, Mia Minnes
      Pages 514-525
    26. Rahul Jain, Ashwin Nayak, Yi Su
      Pages 526-541
    27. Bakhadyr Khoussainov, Jiamou Liu, Mia Minnes
      Pages 542-553
    28. Micah Adler, Brent Heeringa
      Pages 554-567
    29. M. M. Arslanov, S. Barry Cooper, I. Sh. Kalimullin, M. I. Soskova
      Pages 568-578

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 5th International Conference on Theory and Applications of Models of Computation, TAMC 2008, held in Xi'an, China in April 2008.

The 48 revised full papers presented together with 2 invited talks and 1 plenary lecture were carefully reviewed and selected from 192 submissions. The papers address current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences - computation, algorithms, complexity and computability theory in particular. With this crossdisciplinary character the conference is given a special flavor and distinction.

Keywords

Bisimulation Permutation algorithms automata complexity computability computational biology computational models decidability fault-tolerance finite automata hyb logic regular expressions semantics

Bibliographic information

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