Nachum Dershowitz
1951
-
Country of citizenship: Israel
Educated at: Bar-Ilan University, Weizmann Institute of Science
Occupation: computer scientist
Award received: Herbrand Award
Official website: www.cs.tau.ac.il/~nachumd/Homepage.html
Bibliographic databases:
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. Source: Wikipedia (en)
Articles 3
- November 1986
- January 1990
Date
Title
Comments
There is nothing here
Lists
There is nothing here
Human -