Skip to main content
SpringerLink
Log in

A Roadmap for TAMC

  • Conference paper
Theory and Applications of Models of Computation (TAMC 2014)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 8402))

Abstract

angsheng@ios.ac.cn

4 School of Mathematics, University of Leeds, Leeds LS2 9JT, United Kingdom

pmt6sbc@maths.leeds.ac.uk

Computability is certainly one of the most interesting and fundamental concepts in Mathematics and Computer Science. Computation is any type of calculationor use of computing technology in information processing.Computation is a process following a well-defined model understood and expressed as, for example, an algorithm, or a protocol.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Korukonda, A.R.: Taking stock of Turing test: a review, analysis, and appraisal of issues surrounding thinking machines. International Journal Human-Computer Studies 58, 240–257 (2003)

    Article  Google Scholar 

  • Barry Cooper, S., Abramsky, S.: The foundations of computation, physics and mentality: the Turing legacy, Preface. Philosophical Transactions of the Royal Society, A 370, 3273–3276 (2012)

    Article  Google Scholar 

  • Abramson, D.: Descartes’ influence on Turing. Studies in History and Philosophy of Science 42, 544–551 (2011)

    Article  Google Scholar 

  • Schneider, D.F.: Software Construction: Building a Process Model. Stratus Engineering, Texas (1997)

    Google Scholar 

  • Elliott Bell, D., LaPadula, L.J.: Secure Computer Systems: Mathematical Foundations, MITRE Technical Report 2547, I (1973)

    Google Scholar 

  • Eberbach, E., Goldin, D., Wegner, P.: Turing’s Ideas and Models of Computation

    Google Scholar 

  • Savage, J.E.: Models of Computation - Exploring the Power of Computing, Creative Commons License (2008)

    Google Scholar 

  • Fiore, M.P.: Mathematical Models of Computational and Combinatorial Structures. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol. 3441, pp. 25–46. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  • Goldreich, O., Wigderson, A.: Theory of Computation: A Scientific Perspective (1996)

    Google Scholar 

  • Valdes-Perez, R.E.: A Scientific Basis for Computational Science, CMU-CS-93-162 (1993)

    Google Scholar 

  • Smale, S.: Mathematical Problems for the Next Century. Mathematical Intelligencer 20(2), 7–15 (1998)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, College of Engineering, Anna University, Chennai, - 600 025, India

    T V Gopal

  2. Department of Computer Science and Engineering, Dean, Faculty Affairs, Indian Institute of Technology Kanpur, India, – 208016

    Manindra Agrawal

  3. State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, 3rd Floor, Building 5, Software Park, No.4, South 4th Street, Zhongguancun, Haidian District, Beijing, China

    Angsheng Li

  4. School of Mathematics, University of Leeds, Leeds LS2 9JT, United Kingdom

    S. Barry Cooper

Authors
  1. T V Gopal
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Manindra Agrawal
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Angsheng Li
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. S. Barry Cooper
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science and Engineering, College of Engineering, Anna University, Chennai, 600 025, Chennai, India

    T. V. Gopal

  2. Department of Computer Science and Engineering, Indian Institute of Technology, 208016, Kanpur, India

    Manindra Agrawal

  3. State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Zhongguancun, Haidian District, 100190, Beijing, China

    Angsheng Li

  4. School of Mathematics, University of Leeds, LS2 9JT, Leeds, UK

    S. Barry Cooper

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Gopal, T.V., Agrawal, M., Li, A., Cooper, S.B. (2014). A Roadmap for TAMC. In: Gopal, T.V., Agrawal, M., Li, A., Cooper, S.B. (eds) Theory and Applications of Models of Computation. TAMC 2014. Lecture Notes in Computer Science, vol 8402. Springer, Cham. https://doi.org/10.1007/978-3-319-06089-7_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-06089-7_1

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-06088-0

  • Online ISBN: 978-3-319-06089-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation