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.He obtained his B.Sc. summa cum laude in 1974 in Computer Science–Applied Mathematics from Bar-Ilan University, and his Ph.D. in 1979 in Applied Mathematics from the Weizmann Institute of Science. From 1978, he worked at the Department of Computer Science of the University of Illinois at Urbana-Champaign, and was hired as a full professor of the Tel Aviv University (School of Computer Science) in 1998. He was a guest researcher at Weizmann Institute, INRIA, ENS Cachan, Microsoft Research, and the universities of Stanford, Paris, Jerusalem, Chicago, and Beijing. He received the Herbrand Award for Distinguished Contributions to Automatic Reasoning in 2011.
He has co-authored the standard text on calendar algorithms, ''Calendrical Calculations'', with Edward Reingold. An [https://reingold.co/calendar.l implementation of the algorithm] in Common Lisp is in the public domain, and is also distributed with the book. Provided by Wikipedia
Showing 1 - 10 results of 10 for search 'Dershowitz, Nachum', query time: 0.14s
Refine Results
-
1
-
2
-
3by Dershowitz, Nachum
Published 1983Call Number: Loading...Connect to the full text of this electronic book
Located:Loading...
eBook -
4Call Number: Loading...
Located:Loading...Book Loading... -
5Published 1989Other Authors: “...Dershowitz, Nachum...”
Call Number: Loading...
Located:Loading...Conference Proceeding Book Loading... -
6Published 1995Other Authors: “...Dershowitz, Nachum...”
Call Number: Loading...Connect to the full text of this electronic book
Located:Loading...
Conference Proceeding eBook -
7Published 2003Other Authors: “...Dershowitz, Nachum...”
Call Number: Loading...Connect to the full text of this electronic book
Located:Loading...
Get full text
eBook -
8Published 2007Other Authors: “...Dershowitz, Nachum...”
Call Number: Loading...Connect to the full text of this electronic book
Located:Loading...
Conference Proceeding eBook -
9Published 2020Other Authors: “...Dershowitz, Nachum...”
Call Number: Loading...Connect to the full text of this electronic book
Located:Loading...
eBook -
10Published 2008Other Authors: “...Dershowitz, Nachum...”
Call Number: Loading...Connect to the full text of this electronic book
Located:Loading...
Publisher description
eBook
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Computer programming
Mathematics
Algorithms
Artificial intelligence
Calendar
Programmierung
Rewriting systems (Computer science)
Algorithmes
Aufsatzsammlung
Automatic theorem proving
Berechnungstheorie
Computer Communication Networks
Computer communication systems
Computer logic
Computer science
Computer software
Congrès
Data Structures
Data structures (Computer science)
Logic in AI
Logic programming
Logiciels
Model-checking (Informatique)
Ordinateurs
Programmation
Programmation (Informatique)
Programmeren (computers)
Programmierlogik
Programming Techniques
Réécriture, Systèmes de (informatique)