Nachum Dershowitz

Tel Aviv UniversityIsrael

Computer Science · Physical Sciences

43h-index8.7kcitations390works0.92yr avg

Accepting Students?

No reports yet. Know if this professor is taking students?


Research Topics

Logic, programming, and type systems(124), Logic, Reasoning, and Knowledge(80), Formal Methods in Verification(69), Natural Language Processing Techniques(50), Computability, Logic, AI Algorithms(48)

Publications390 total

arXiv (Cornell University)·2024Open Access
arXiv (Cornell University)·2024Open Access
arXiv (Cornell University)·2024Open Access
arXiv (Cornell University)·2024Open Access
Zeitschrift für die Alttestamentliche Wissenschaft·2024· 1 citedOpen Access
Kalpa publications in computing·2024Open Access
Schizophrenia·2024· 12 citedOpen Access
page 1 of 20Next →

Frequent Co-authors

Leo Bachmair(7), David A. Plaisted(7), Mitsuhiro Okada(4), Lior Wolf(4), Jean-Pierre Jouannaud(3), Jieh Hsiang(3), Ziyad Hanna(3), Zohar Manna(2), Yuri Gurevich(2), Shmuel Zaks(2), Edward M. Reingold(2), G. Sivakumar(2), C.G. Hoot(2), Jacob Katz(1), Stéphane Kaplan(1), Alexander Nadel(1), Naomi Lindenstrauss(1), Yehoshua Sagiv(1), Alexander Serebrenik(1), Ido Kissos(1)