The following pages link to Zohar Manna
External toolsShowing 40 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- List of computer scientists (links | edit)
- Church–Turing thesis (links | edit)
- Decision problem (links | edit)
- Turing machine (links | edit)
- Adi Shamir (links | edit)
- McCarthy 91 function (links | edit)
- Alan Perlis (links | edit)
- Robert W. Floyd (links | edit)
- Temporal logic (links | edit)
- Symbolic artificial intelligence (links | edit)
- Program synthesis (links | edit)
- Structured program theorem (links | edit)
- Herbrand Award (links | edit)
- Resolution (logic) (links | edit)
- Martín Abadi (links | edit)
- List of Guggenheim Fellowships awarded in 1981 (links | edit)
- Richard Waldinger (links | edit)
- Manna (disambiguation) (links | edit)
- Szymański's algorithm (links | edit)
- Ashok K. Chandra (links | edit)
- Structural synthesis of programs (links | edit)
- Dershowitz–Manna ordering (links | edit)
- Anti-unification (links | edit)
- Thomas Henzinger (links | edit)
- Fragment (logic) (links | edit)
- Nachum Dershowitz (links | edit)
- List of fellows of the Association for Computing Machinery (links | edit)
- Deaths in August 2018 (links | edit)
- Jean Vuillemin (links | edit)
- Talk:Zohar Manna (transclusion) (links | edit)
- Talk:Julius Richard Büchi (links | edit)
- Talk:Program synthesis (links | edit)
- User:Tony Sidaway/Living people/tranche 056 (links | edit)
- User:Rusted AutoParts/Deaths of 2010-2019 (links | edit)
- User:JPxG/Oracle/2005-09 (links | edit)
- Misplaced Pages:Articles for deletion/Log/2005 May 16 (links | edit)
- Misplaced Pages:Articles for deletion/Zohar Manna (links | edit)
- Misplaced Pages:Articles for deletion/Log/2005 September 25 (links | edit)
- Misplaced Pages:Articles for deletion/Zohar Manna (2nd nomination) (links | edit)
- Misplaced Pages talk:Notability (people)/Archive 7 (links | edit)