Concepedia

Nachum Dershowitz

ND

Statistics

Publications

69

Citations

4.7K

H-Index

34

Active since

1975

Affiliations

University of Illinois Urbana-Champaign(Current)

Tel Aviv University

Stanford University

Bar-Ilan University

University of Illinois System

Nachum Dershowitz is an author at University of Illinois Urbana-Champaign specializing in computing, computer science, and formal methods.

ORCID

Publications per year

1975–2024

69

Publications

69

Termination of rewriting

Nachum Dershowitz · Journal of Symbolic Computation · 1987 · 725 citations

Orderings for term-rewriting systems

Nachum Dershowitz · Theoretical Computer Science · 1982 · 607 citations

, , +6

Proving termination with multiset orderings

Nachum Dershowitz, Zohar Manna · Communications of the ACM · 1979 · 540 citations · Full text

, , +12

Orderings for Equational Proofs

Leo Bachmair, Nachum Dershowitz, Jieh Hsiang · Logic in Computer Science · 1986 · 131 citations

, , +11

A Natural Axiomatization of Computability and Proof of Church's Thesis

Nachum Dershowitz, Yuri Gurevich · Bulletin of Symbolic Logic · 2008 · 129 citations · Full text

, , +14

1–5 of 69