Review of David Harel, Computers Ltd [Book Review]

Times Literary Supplement (2001)
  Copy   BIBTEX

Abstract

This paper is a review of Review of David Harel's, Computer Ltd.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
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

Computers Ltd: What They Really Can't Do.David Harel - 2003 - Oxford University Press.
On the Value of Constitutions and Judicial Review.Laura Valentini - 2017 - Criminal Law and Philosophy 11 (4):817-832.
Review: Jeffrey D. Ullman, Principles of Database Systems; David Maier, The Theory of Relational Databases; Ashok K. Chandra, David Harel, Computable Queries for Relational Data Bases. [REVIEW]J. A. Makowsky - 1986 - Journal of Symbolic Logic 51 (4):1079-1084.
Review: David Harel, Dynamic Logic. [REVIEW]Lenore D. Zuck - 1989 - Journal of Symbolic Logic 54 (4):1480-1481.
Review: David Harel, First-Order Dynamic Logic. [REVIEW]Jerzy Tiuryn - 1982 - Journal of Symbolic Logic 47 (2):453-454.
Review: Albert R. Meyer, Rohit Parikh, Definability in Dynamic Logic. [REVIEW]David Harel - 1984 - Journal of Symbolic Logic 49 (4):1420-1421.
Review: David Harel, Proving the Correctness of Regular Deterministic Programs: A Unifying Survey Using Dynamic Logic. [REVIEW]Rohit Parikh - 1985 - Journal of Symbolic Logic 50 (2):552-553.
Principles of Database Systems.Jeffrey D. Ullman, David Maier, Ashok K. Chandra & David Harel - 1986 - Journal of Symbolic Logic 51 (4):1079-1084.
Alon Harel on How to Deliberate Permissibly.Adam Slavny - 2017 - Criminal Law and Philosophy 11 (4):833-846.
Consequences Matter More: In Defense of Instrumentalism on Private Versus Public Prisons.Jason Brennan - 2017 - Criminal Law and Philosophy 11 (4):801-815.
David Alan Grier. When Computers Were Human. 424 pp., apps., bibl., index. Princeton, N.J.: Princeton University Press, 2005. $19.95. [REVIEW]Allan Olley - 2008 - Isis 99 (4):870-871.
Jeffrey D. Ullman. Principles of database systems. Second edition. Computer software engineering series. Computer Science Press, Rockville, Md., 1982, vii + 484 pp. - David Maier. The theory of relational databases. Computer Science Press, Rockville, Md., 1983, xv + 637 pp. - Ashok K. Chandra and David Harel. Computable queries for relational data bases. Journal of computer and system sciences, vol. 21 , pp. 156–178. [REVIEW]J. A. Makowsky - 1986 - Journal of Symbolic Logic 51 (4):1079-1084.
Harel David. Proving the correctness of regular deterministic programs: a unifying survey using dynamic logic. Theoretical computer science, vol. 12 , pp. 61–81. [REVIEW]Rohit Parikh - 1985 - Journal of Symbolic Logic 50 (2):552-553.
Rights and Reasons: A Response to Harel.Andrew Halpin - 1998 - Oxford Journal of Legal Studies 18 (3):485-495.
Harel David. First-order dynamic logic. Lecture notes in computer science, vol. 68. Springer-Verlag, Berlin, Heidelberg, and New York, 1979, X + 133 pp. [REVIEW]Jerzy Tiuryn - 1982 - Journal of Symbolic Logic 47 (2):453-454.

Analytics

Added to PP
2021-07-20

Downloads
88 (#188,434)

6 months
20 (#124,883)

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