Nachum Dershowitz
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Age | 74 |
| Known for | Dershowitz–Manna ordering |
| Education | Weizmann Institute of Science |
| Academic advisor | Zohar Manna |
| Notable student | Jieh Hsiang |
| Yuh-jeng Lee | |
| 2023-03-19 00:00:00 | |
| Books | Calendrical Calculations |
| Edited works | Pillars of Computer Science... |
| Date of birth | January 1,1951 |
| Date of Reg. | |
| Date of Upd. | |
| ID | 875421 |
Nachum Dershowitz Life story
Nachum Dershowitz is an Israeli computer scientist, known e.g. for the Dershowitz–Manna ordering and the multiset path ordering used to prove termination of term rewrite systems.