Pages that link to "Zohar Manna"
Appearance
Showing 42 items.
- 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)
- Zohar Manna (transclusion) (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)
- User talk:79.181.225.28 (links | edit)
- Wikipedia:Articles for deletion/Log/2005 May 16 (links | edit)
- Wikipedia:Articles for deletion/Zohar Manna (links | edit)
- Wikipedia:Articles for deletion/Log/2005 September 25 (links | edit)
- Wikipedia:Articles for deletion/Zohar Manna (2nd nomination) (links | edit)
- Wikipedia talk:Notability (people)/Archive 7 (links | edit)