5 found
Sort by:
  1. David Harel (2003). Computers Ltd: What They REALLY Can't Do. OUP Oxford.
    Computers are incredible. They are one of the most important inventions of the 20th century, dramatically and irrevocably changing the way we live. That is the good news. The bad news is that there are still major limitations to computers, serious problems that not even the most powerful computers can solve. The consequences of such limitations can be serious. Too often these limits get overlooked, in the quest for bigger, better, and more powerful computers. In Computers Ltd., David Harel, best-selling (...)
    No categories
    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. David Harel (1984). Review: Albert R. Meyer, Rohit Parikh, Definability in Dynamic Logic. [REVIEW] Journal of Symbolic Logic 49 (4):1420-1421.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. David Harel (1979). Characterizing Second Order Logic with First Order Quantifiers. Mathematical Logic Quarterly 25 (25‐29):419-422.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation