Nachum Dershowitz
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. Provided by Wikipedia-
1
Calendrical calculations
Cambridge ; New York : Cambridge University Press, 2008
3rd ed.Format: Book
-
2
-
3
-
4
Calendrical calculations
Cambridge, UK ; New York : Cambridge University Press, 2001Other Authors: “…Dershowitz, Nachum…”
The millennium ed.
Format: Book
-
5
Rewriting techniques and applications : 3rd Internal Conference, RTA-89, Chapel Hill, North Carolina, USA, April 1989 : proceedings
Berlin ; New York : Springer-Verlag, 1989Other Authors: “…Dershowitz, Nachum…”
Format: Conference Proceeding Book
-
6
Calendrical calculations
Cambridge, UK ; New York : Cambridge University Press, 2001Other Authors: “…Dershowitz, Nachum…”
The millennium ed.
Format: Book
-
7
Calendrical tabulations, 1900-2200
Cambridge, U.K. ; New York : Cambridge University Press, 2002Other Authors: “…Dershowitz, Nachum…”
Format: Book
-
8
Verification : theory and practice : essays delivered to Zohar Manna on the occasion of his 64th birthday
Berlin ; New York : Springer-Verlag, 2003Other Authors: “…Dershowitz, Nachum…”
Format: Electronic eBook -
9
Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings
Berlin ; New York : Springer, 1995Other Authors: “…Dershowitz, Nachum…”
Format: Conference Proceeding Book
-
10
Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings
Berlin ; New York : Springer, 2007Other Authors: “…Dershowitz, Nachum…”
Format: Electronic Conference Proceeding eBook -
11
Pillars of computer science : essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday
Berlin : Springer, 2008Other Authors:Format: Book