Theory and Applications of Models of Computation

12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings

  • Rahul Jain
  • Sanjay Jain
  • Frank Stephan

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9076)

Table of contents

  1. Front Matter
    Pages I-XII
  2. Invited Papers

  3. Recursion Theory and Mathematical Logic

    1. Front Matter
      Pages 21-21
    2. Douglas Cenzer, Christopher P. Porter
      Pages 23-37
    3. Kaspars Balodis, Jānis Iraids, Rūsiņš Freivalds
      Pages 50-61
    4. Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc
      Pages 62-72
  4. Computational Complexity and Boolean Functions

    1. Front Matter
      Pages 73-73
    2. Raghav Kulkarni, Youming Qiao, Xiaoming Sun
      Pages 99-109
    3. Takuya Nishida, Yu-ichi Hayashi, Takaaki Mizuki, Hideaki Sone
      Pages 110-121
    4. Andris Ambainis, Jevgēnijs Vihrovs
      Pages 122-133
  5. Graph Theory

    1. Front Matter
      Pages 135-135
    2. Xin He, Dayu He
      Pages 137-149
    3. Anthony Bonato, Marc Lozier, Dieter Mitsche, Xavier Pérez-Giménez, Paweł Prałat
      Pages 150-163

About these proceedings


This book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The 35 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and mathematical logic; computational complexity and Boolean functions; graphy theory; quantum computing; parallelism and statistics; learning, automata and probabilistic models; parameterised complexity.


algorithmic game theory malware and its mitigation oracles and decision trees security and privacy stochastic games

Editors and affiliations

  • Rahul Jain
    • 1
  • Sanjay Jain
    • 2
  • Frank Stephan
    • 3
  1. 1.National University of SingaporeSingaporeSingapore
  2. 2.National University of SingaporeSingaporeSingapore
  3. 3.National University of SingaporeSingaporeSingapore

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-17141-8
  • Online ISBN 978-3-319-17142-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book