Martin D. Davis, Ron Sigal, and Elaine J. Weyuker. Computability, complexity, and languages. Fundamentals of theoretical computer science. Second edition of LII 293. Computer science and scientific computing. Academic Press, Boston, San Diego, New York, etc., 1994, xix + 609 pp [Book Review]

Journal of Symbolic Logic 61 (2):703-704 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275691

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Computability, Complexity, and Languages. Fundamentals of Theoretical Computer Science.Martin D. Davis & Elaine J. Weyuker - 1987 - Journal of Symbolic Logic 52 (1):293-294.
Computing as a Science: A Survey of Competing Viewpoints. [REVIEW]Matti Tedre - 2011 - Minds and Machines 21 (3):361-387.
Computability, Complexity and Languages.Martin Davies, Ron Segal & Elaine Weyuker - 1994 - Academic Press.
Proceedings Symposium on Logic in Computer Science, Ithaca, New York, June 22-25, 1987 ; Sponsored by the Computer Society of the Ieee Technical Committee on Mathematical Foundations of Computing in Cooperation with Acm Sigact, Association for Symbolic Logic, European Association for Theoretical Computer Science.Association for Computing Machinery, Association for Symbolic Logic, European Association for Theoretical Computer Science, Ieee Computer Society & Special Interest Group for Automata and Computability Theory - 1987
Computation and automata.Arto Salomaa - 1985 - New York: Cambridge University Press.
Computing with functionals: Computability theory or computer science?Dag Normann - 2006 - Bulletin of Symbolic Logic 12 (1):43-59.
Review: R. E. Davis, Truth, Deduction, and Computation. Logic and Semantics for Computer Science. [REVIEW]Nicolas D. Goodman - 1992 - Journal of Symbolic Logic 57 (2):760-761.
Programmers, professors, and parasites: Credit and co-authorship in computer science.Justin Solomon - 2009 - Science and Engineering Ethics 15 (4):467-489.
Creativity in Computer Science.Daniel Saunders & Paul Thagard - unknown
Computability and Complexity: From a Programming Perspective Vol. 21.N. D. Jones - 1997 - MIT Press.
Decoupling as a Fundamental Value of Computer Science.Timothy Colburn & Gary Shute - 2011 - Minds and Machines 21 (2):241-259.
Universality, Invariance, and the Foundations of Computational Complexity in the light of the Quantum Computer.Michael Cuffaro - 2018 - In Hansson Sven Ove (ed.), Technology and Mathematics: Philosophical and Historical Investigations. Cham, Switzerland: Springer Verlag. pp. 253-282.
Ockham's razor, empirical complexity, and truth-finding efficiency.Kevin Kelly - 2007 - Theoretical Computer Science 383:270-289.
On teaching computer ethics within a computer science department.Michael J. Quinn - 2006 - Science and Engineering Ethics 12 (2):335-343.
Book Review: Solove, Daniel J. The digital person: Technology and privacy in the information age. New York: New York University Press, 2004, 283 pp. ISBN 0-8147-9846-2 ($29.95). [REVIEW]Michael Zimmer - 2004 - Ethics and Information Technology 6 (4):301-302.

Analytics

Added to PP
2014-04-01

Downloads
42 (#380,966)

6 months
16 (#160,768)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references