9 found
Order:
  1.  6
    David Harel (2003). Computers Ltd: What They Really Can't Do. OUP Oxford.
    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.  12
    David Harel (1979). Characterizing Second Order Logic with First Order Quantifiers. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):419-422.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  1
    David Harel (1979). Characterizing Second Order Logic with First Order Quantifiers. Mathematical Logic Quarterly 25 (25‐29):419-422.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  4.  2
    Jeffrey D. Ullman, David Maier, Ashok K. Chandra & David Harel (1986). Principles of Database Systems. Journal of Symbolic Logic 51 (4):1079-1084.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  5.  4
    David Harel & Eli Singerman (1999). Computation Paths Logic: An Expressive, yet Elementary, Process Logic. Annals of Pure and Applied Logic 96 (1-3):167-186.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  6. Sanjeev Arora, Matthias Baaz, Lenore Blum, Patrick Dehornoy, Solomon Feferman, Moti Gitik, Erich Grädel, Yuri Gurevich, Serge Grigorieff & David Harel (1995). Clermont-Ferrand, France, July 21–30, 1994. Bulletin of Symbolic Logic 1 (2).
     
    Export citation  
     
    My bibliography  
  7. David Harel (1984). Meyer Albert R. And Parikh Rohit. Definability in Dynamic Logic. Journal of Computer and System Sciences, Vol. 23 , Pp. 279–298. [REVIEW] Journal of Symbolic Logic 49 (4):1420-1421.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8. David Harel (1984). Review: Albert R. Meyer, Rohit Parikh, Definability in Dynamic Logic. [REVIEW] Journal of Symbolic Logic 49 (4):1420-1421.
  9. Lenore D. Zuck & David Harel (1989). Dynamic Logic. Journal of Symbolic Logic 54 (4):1480.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography