Movatterモバイル変換

[0]ホーム
URL:

PhilPapersPhilPeoplePhilArchivePhilEventsPhilJobs

Works by David Harel

(view other items matching `David Harel`,view all matches )
6 found
Order:

1 filter applied
  1.  41
    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  
     
    Bookmark   3 citations  
  2.  23
    (1 other version)Characterizing Second Order Logic with First Order Quantifiers.David Harel -1979 -Mathematical Logic Quarterly 25 (25‐29):419-422.
  3.  36
    Principles of Database Systems.Jeffrey D. Ullman,David Maier,Ashok K. Chandra &David Harel -1986 -Journal of Symbolic Logic 51 (4):1079-1084.
  4.  41
    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.
  5.  27
    Computational Paradigm to Elucidate the Effects of Arts-Based Approaches: Art and Music Studies and Implications for Research and Therapy.Billie Sandak,Avi Gilboa &David Harel -2020 -Frontiers in Psychology 11.
    Direct download(2 more)  
     
    Export citation  
     
    Bookmark  
  6.  41
    Albert R. Meyer and Rohit Parikh. 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.
Export
Limit to items.
Filters





Configure languageshere.Sign in to use this feature.

Viewing options


Open Category Editor
Off-campus access
Using PhilPapers from home?

Create an account to enable off-campus access through your institution's proxy server or OpenAthens.

Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:

Email RSS feed
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct

CDPPhiosophy Documentation Center
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).

Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation

Server: philpapers-web-54b44b69b7-72j75 uwo
[8]ページ先頭
©2009-2025 Movatter.jp