6 found
Sort by:
  1. 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  
     
    My bibliography  
     
    Export citation  
  2. 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)  
     
    My bibliography  
     
    Export citation  
  3. 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).
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. 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  
     
    My bibliography  
     
    Export citation  
  5. David Harel (1984). Review: Albert R. Meyer, Rohit Parikh, Definability in Dynamic Logic. [REVIEW] Journal of Symbolic Logic 49 (4):1420-1421.
  6. David Harel (1979). Characterizing Second Order Logic with First Order Quantifiers. Mathematical Logic Quarterly 25 (25‐29):419-422.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation