Robert W. Floyd and Richard Beigel. The language of machines. An introduction to computability and formal languages. Computer Science Press, New York1994, xvii + 706 pp [Book Review]

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275690

Links

PhilArchive



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

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

Review: Robert W Floyd, Richard Beigel, The Language of Machines. An Introduction to Computability and Formal Languages. [REVIEW]Raymond D. Gumb - 1996 - Journal of Symbolic Logic 61 (2):701-703.
Automata, Formal Languages, Abstracts Switching, and Computability in a Ph.D. Computer Science Program.Robert Mcnaughton - 1969 - Journal of Symbolic Logic 34 (4):656-656.
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. [REVIEW]H. B. Enderton - 1996 - Journal of Symbolic Logic 61 (2):703-704.
Computation and automata.Arto Salomaa - 1985 - New York: Cambridge University Press.
Models of computation and formal languages.Ralph Gregory Taylor - 1998 - New York: Oxford University Press.
Consistency, Turing Computability and Gödel’s First Incompleteness Theorem.Robert F. Hadley - 2008 - Minds and Machines 18 (1):1-15.
Automata, Languages and Programming: 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings.Andrzej Lingas & Rolf Karlsson - 1993 - Springer.
Turing's World 3.0 for Mac: An Introduction to Computability Theory.Jon Barwise & John Etchemendy - 1993 - Center for the Study of Language and Information Publications.
Formal Languages in Logic: A Philosophical and Cognitive Analysis.Catarina Dutilh Novaes - 2012 - Cambridge University Press.
Computability, complexity, logic.Egon Börger - 1989 - New York, N.Y., U.S.A.: Elsevier Science Pub. Co..
Effective Computation by Humans and Machines.Shagrir Oron - 2002 - Minds and Machines 12 (2):221-240.
The languages of artifical intelligence, the languages of metaphysics, and the languages of faith.Javier Leach - 2014 - Scientia et Fides 2 (1):81-98.
Emergence and Evolution of Natural Languages: New Mathematical and Algorithmic Perspectives.Edward G. Belaga - 2008 - In Proceedings of Language, Communication and Cognition International Conference, Brighton, August 4th-7th 2008.
Alexandre Borovik and Ali Nesin. Groups of finite Morley rank. Oxford logic guides, no. 26. Clarendon Press, Oxford University Press, Oxford and New York1994, xvii + 409 pp. [REVIEW]Daniel Lascar - 1996 - Journal of Symbolic Logic 61 (2):687-688.
The philosophy of computer science: Introduction to the special issue. [REVIEW]Raymond Turner - 2007 - Minds and Machines 17 (2):129-133.

Analytics

Added to PP
2016-06-30

Downloads
11 (#1,144,374)

6 months
2 (#1,206,727)

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