Order:
  1.  10
    Computers Ltd: What They Really Can't Do.David Harel - 2003 - Oxford University Press.
    In Computers Ltd, David Harel, best-selling author of Algorithmics, explains and illustrates one of the most fundamental, yet under-exposed facets of computers - their inherent limitations. Looking at the bad news that is proven, lasting, and robust, discussing limitations that no amounts of hardware, software, talents, or resources can overcome, the book presents a disturbing and provocative view of computing at the start of the 21st century.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  2.  13
    Characterizing Second Order Logic with First Order Quantifiers.David Harel - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):419-422.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  3.  2
    Characterizing Second Order Logic with First Order Quantifiers.David Harel - 1979 - Mathematical Logic Quarterly 25 (25‐29):419-422.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  4.  3
    Principles of Database Systems.Jeffrey D. Ullman, David Maier, Ashok K. Chandra & David Harel - 1986 - Journal of Symbolic Logic 51 (4):1079-1084.
  5. Dynamic Logic.Lenore D. Zuck & David Harel - 1989 - Journal of Symbolic Logic 54 (4):1480.
  6.  4
    Computation Paths Logic: An Expressive, yet Elementary, Process Logic.David Harel & Eli Singerman - 1999 - Annals of Pure and Applied Logic 96 (1-3):167-186.
  7. Meyer Albert R. And Parikh Rohit. Definability in Dynamic Logic. Journal of Computer and System Sciences, Vol. 23 , Pp. 279–298. [REVIEW]David Harel - 1984 - Journal of Symbolic Logic 49 (4):1420-1421.
  8. Review: Albert R. Meyer, Rohit Parikh, Definability in Dynamic Logic. [REVIEW]David Harel - 1984 - Journal of Symbolic Logic 49 (4):1420-1421.