Concepedia

Nachum Dershowitz

ND

Statistics

Publications

69

Citations

4.6K

H-Index

33

Active since

1975

Affiliations

University of Illinois Urbana-Champaign(Current)

Tel Aviv University

Stanford University

Bar-Ilan University

Weizmann Institute of Science

Nachum Dershowitz is an author at University of Illinois Urbana-Champaign specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationProgram AnalysisComputational ComplexityLinguisticsVerificationProof Complexity

Publications per year

1975–2024

69

Publications

69

Termination of rewriting

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

Regulated Rewriting, Rewriting System, Remedial Action +1

Orderings for term-rewriting systems

Nachum Dershowitz · Theoretical Computer Science · 1982 · 602 citations

Order Theory, Syntax, Engineering +9

Proving termination with multiset orderings

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

Program Checking, Engineering, Multiset Orderings +17

Orderings for Equational Proofs

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

Engineering, Automated Reasoning, Formal Methods +4

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

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

Only Numeric Functions, Engineering, Computational Model Theory +17

1–5 of 69