Nachum Dershowitz
Use attributes for filter ! | |
Gender | Male |
---|---|
Age | 73 |
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.