Skip to main content
  • Conference proceedings
  • © 2008

Theory and Applications of Models of Computation

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

Editors:

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

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

Conference series link(s): TAMC: Annual Conference on Theory and Applications of Models of Computation

Conference proceedings info: TAMC 2008.

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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 (51 papers)

  1. Front Matter

  2. Plenary Lectures

  3. Special Session Lectures

    1. On the Complexity of Measurement in Classical Physics

      • Edwin Beggs, José Félix Costa, Bruno Loff, John Tucker
      Pages 20-30
    2. Quantum Walk Based Search Algorithms

      • Miklos Santha
      Pages 31-46
  4. Contributed Lectures

    1. On the Complexity of the Hidden Subgroup Problem

      • Stephen Fenner, Yong Zhang
      Pages 70-81
    2. An O *(3.523k) Parameterized Algorithm for 3-Set Packing

      • Jianxin Wang, Qilong Feng
      Pages 82-93
    3. Indistinguishability and First-Order Logic

      • Skip Jordan, Thomas Zeugmann
      Pages 94-104
    4. Derandomizing Graph Tests for Homomorphism

      • Angsheng Li, Linqing Tang
      Pages 105-115
    5. Definable Filters in the Structure of Bounded Turing Reductions

      • Angsheng Li, Weilin Li, Yicheng Pan, Linqing Tang
      Pages 116-124
    6. Distance Constrained Labelings of Trees

      • Jiří Fiala, Petr A. Golovach, Jan Kratochvíl
      Pages 125-135
    7. A Characterization of NC k by First Order Functional Programs

      • Jean-Yves Marion, Romain Péchoux
      Pages 136-147
    8. The Structure of Detour Degrees

      • Lars Kristiansen, Paul J. Voda
      Pages 148-159
    9. Local 7-Coloring for Planar Subgraphs of Unit Disk Graphs

      • J. Czyzowicz, S. Dobrev, H. González-Aguilar, R. Kralovic, E. Kranakis, J. Opatrny et al.
      Pages 170-181
    10. An Improved Parameterized Algorithm for a Generalized Matching Problem

      • Jianxin Wang, Dan Ning, Qilong Feng, Jianer Chen
      Pages 212-222

Other Volumes

  1. Theory and Applications of Models of Computation

About this book

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.

Bibliographic Information

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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