No photo of Nachum Dershowitz

View Scopus Profile

Nachum Dershowitz

Professor

Former affiliation
 https://orcid.org/0000-0003-0363-2735
1975 …2024

Research activity per year

Filter
Chapter

Search results

  • 2022

    What is the Church-Turing Thesis?

    Boker, U. & Dershowitz, N., 1 Jan 2022, Axiomatic Thinking II. Springer International Publishing, p. 199-234 36 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    3 Scopus citations
  • 2016

    Honest Computability and Complexity

    Boker, U. & Dershowitz, N., 2016, Outstanding Contributions to Logic. Springer, p. 151-173 23 p. (Outstanding Contributions to Logic; vol. 10).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    2 Scopus citations
  • 2015

    Dense correspondences and ancient texts

    Hassner, T., Wolf, L., Dershowitz, N., Sadeh2, G. & Stökl Ben-Ezra, D., 1 Jan 2015, Dense Image Correspondences for Computer Vision. Springer International Publishing, p. 279-295 17 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    1 Scopus citations
  • 2013

    Canonical ground horn theories

    Bonacina, M. P. & Dershowitz, N., 2013, Programming Logics: Essays in Memory of Harald Ganzinger. Voronkov, A. & Weidenbach, C. (eds.). Springer Berlin Heidelberg, p. 35-71 37 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7797 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    5 Scopus citations
  • 2012

    Effectiveness

    Dershowitz, N. & Falkovich, E., 1 Jan 2012, A Computable Universe: Understanding and Exploring Nature as Computation. World Scientific Publishing Co., p. 77-98 22 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • 2011

    Indian calendrical calculations

    Dershowitz, N. & Reingold, E. M., 2011, Ancient Indian Leaps into Mathematics. Birkhäuser Boston, p. 1-31 31 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    3 Scopus citations
  • 2008

    Boris A. Trakhtenbrot: Academic genealogy and publications

    Avron, A., Dershowitz, N. & Rabinovich, A., 2008, Pillars of Computer Science - Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Avron, A., Dershowitz, N. & Rabinovich, A. (eds.). Springer Berlin Heidelberg, p. 46-57 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4800 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    1 Scopus citations
  • 2005

    Primitive rewriting

    Dershowitz, N., 2005, Processes, Terms and Cycles: Steps on the Road to Infinity - Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday. Springer Verlag, p. 127-147 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3838 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • 2004

    Termination by abstraction

    Dershowitz, N., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Demoen, B. & Lifschitz, V. (eds.). Springer Verlag, p. 1-18 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3132).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    13 Scopus citations