Nachum Dershowitz
Tel Aviv University(IL)
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Formal Methods in Verification, Computability, Logic, AI Algorithms, Natural Language Processing Techniques
Most-Cited Works
- Rewrite systems(1991)
- → Termination of rewriting(1987)722 cited
- → Orderings for term-rewriting systems(1982)603 cited
- → Proving termination with multiset orderings(1979)532 cited
- Completion Without Failure(1989)
- Orderings for Equational Proofs(1986)
- → A Natural Axiomatization of Computability and Proof of Church's Thesis(2008)127 cited
- → Computing with rewrite systems(1985)108 cited
- →