- +Orna Almogi, Lena
Dankin, Nachum Dershowitz, Yair Hoffman, Dorji Wangchuk, and
Lior Wolf, 2016, “Stemming
and Segmentation for Classical Tibetan”,
*Proceedings of the Conference on Intelligent Text Processing and Computational Linguistics (CICLing)*, Konya, Turkey, Lecture Notes in Computer Science, Springer-Verlag, Switzerland. - *Nachum Dershowitz, 2016, “Touchard's Drunkard”.
- *Nachum Dershowitz
and Evgenia Falkovich, 2016, “The Invariance Thesis”,
*Logical Methods in Computer Science*. - °Udi Boker and
Nachum Dershowitz, 2017, “Honest
Computability and Complexity”, in
*Martin Davis on Computability, Computational Logic, and Mathematical Foundations*, Eugenio Omodeo and Alberto Policriti, eds., Outstanding Contributions to Logic Series, vol. 10, Springer, pp. 153-175. - °Noga Levy, Adiel
Ben-Shalom, Itai Ben-Shalom, Lior Wolf, Nachum Dershowitz, Roni
Shweka, and Yaacov
Choueka, 2016, “Consolidating
the Results of Automatic Search in Large Scale Digital
Collections”, in
*Digital Palaeography*, Stewart Brookes, Malte Rehbein, and Peter Stokes, eds., Digital Research in the Arts and Humanities Series, Routledge, UK. - **Edward M. Reingold
and Nachum Dershowitz, 2017,
*Calendrical Calculations: The Ultimate Edition*(fourth edition), Cambridge University Press (print and online editions). - +Jeremy Dawson, Nachum Dershowitz, and Rajeev Goré, 2016, “Well-Founded Unions Verified”.
- +Nachum Dershowitz, Jean-Pierre Jouannaud, and Jianqi Li, 2016, “Well-Founded Path Orderings for Operads”.
- +Nachum Dershowitz and Jean-Pierre Jouannaud, 2016, “Well-Founded Path Orderings for Drags”.
- Daniel Labenski, Marco Büchler, Marc W. Küster, Lena Dankin, Nachum Dershowitz, and Lior Wolf, 2016, “Intertextuality Algorithms for Tibetan”.
- Daniel Labenski, Adi Silberpfennig, Nachum Dershowitz, and Lior Wolf, 2016, “Related Articles: Textual and Visual”.
- Nachum Dershowitz, Jörg Endrullis, and Clemens Grabmayer, 2017, “The Perils of Representation”.
- Orna Almogi, Lena Dankin, Nachum Dershowitz, Eric Werner, and Lior Wolf, 2016, “A Hackathon for Classical Tibetan”.
- *Nachum Dershowitz, 2016, “Between Broadway and the Hudson”.
- *Nachum Dershowitz and Shmuel Zaks, 2016, “Some More Patterns in Trees”.
- +Nachum Dershowitz and Ohad Kammer, 2016, “Termination Proofs and the Ordinal Path Ordering”.
- +Nachum Dershowitz, Qian Wang, and Jean-Pierre Jouannaud, 2013, “The Algebra of Infinite Sequences: Notations and Formalization”.
- **Nachum Dershowitz and Gilles
Dowek, 2016,
*I, Computer*. - Nachum Dershowitz, Bernhard Gramlich, Mitsuhiro Okada, G. Sivakumar, and Claus-Peter Wirth, “Conditional Confluence”.
- Andreas Blass, Nachum Dershowitz, and Yuri Gurevich, March 2010, “Exact Exploration”.
- **Nachum Dershowitz
and Edward M.
Reingold,
*Mathematics for the Programmer*, McGraw-Hill. - *Itai Ben-Shalom,
Noga Levy, Lior Wolf, Nachum Dershowitz, Adiel Ben-Shalom, Roni
Shweka, Yaacov
Choueka, Tamir Hazan, and Yaniv Bar, August 2016, “Active Congruency-Based
Reranking”,
*Frontiers in Digital Humanities*, vol.3, no. 7. - *Arnon Avron and Nachum Dershowitz,
August-September 2016, “Cayley's Formula: A
Page from The Book” (Note),
*American Mathematical Monthly (AMM)*, vol. 123, no. 7, pp. 699-700. (Copyright 2016 Mathematical Association of America; all rights reserved.) - Orna Almogi, Nachum Dershowitz, Dorji Wangchuk, and Lior Wolf,
June 2016,
“Computerized Tools for Tibetan Textual Studies: Challenges and
Solutions” (Abstract),
*14th Seminar of the International Association of Tibetan Studies*, Bergen, Norway. - +Olivier Bournez,
Nachum Dershowitz, and Pierre Néron, June 2016, “An Axiomatization of
Analog Algorithms”,
*Computability in Europe 2016: Pursuit of the Universal (CiE)*, Paris, France, Lecture Notes in Computer Science, vol. 9709, Springer-Verlag, Switzerland, pp. 215-224.**Best paper award.** - Nachum Dershowitz, Jean-Pierre Jouannaud, and Jianqi Li, June
2016, “Well-Founded Path Orderings
for Drags” (Abstract),
*Second Edition of the Workshop on Higher-Dimensional Rewriting and Applications (HDRA)*, Porto, Portugal. - Nachum Dershowitz, June 2016, “Tripartite Unions”, informal note, arXiv:1606.01148 [cs.LO].
- Daniel
Labenski, Elad Shaked, Orna Almogi, Lena Dankin, Nachum
Dershowitz, and Lior Wolf, May 2016, “Intertextuality in Tibetan
Texts” (Poster),
*Israeli Seminar on Computational Linguistics (ISCOL)*, Haifa, Israel. - Olivier Bournez, Nachum Dershowitz, and Pierre Néron, May 2016, “An Axiomatization of Analog Algorithms”, informal publication, arXiv:1604.04295 [cs.LO].
- +Ido Kissos and
Nachum Dershowitz, April 2016,
“OCR Error Correction Using
Character Segment Correction and Feature-Based Word
Classification”,
*Proceedings of the 12th IAPR International Workshop on Document Analysis Systems (DAS 2016)*, Santorini, Greece, pp. 198-203. - Ido Kissos and Nachum Dershowitz, April 2016, “OCR Error Correction Using Character Segment Correction and Feature-Based Word Classification”, informal publication, arXiv:1604.06225 [cs.LO].
- Nachum Dershowitz, March 2016, “1700 Forests”, Unpublished note.
- *Nachum Dershowitz
and Evgenia Falkovich-Derzhavetz, March 2016, “On the Parallel Computation
Thesis”,
*Logic Journal of the IGPL*, vol. 24, no. 3, pp. 346-374. - +Kfir Bar, Nachum
Dershowitz, Lior Wolf, Yackov Lubarsky, and Yaacov Choueka,
2016, “Processing
Judeo-Arabic Texts”,
*Revised Papers of the First International Conference on Arabic Computational Linguistics (ACLing 2015)*, Alexander Gelbukh and Khaled Shaalan, eds., IEEE Computer Society, Los Alamitos, CA, pp. 142-148. - °Tal Hassner, Lior
Wolf, Nachum Dershowitz, Gil Sadeh, and Daniel Stökl Ben-Ezra,
2016, “Dense
Correspondences and Ancient Texts”, in Tal Hassner and Ce
Liu, eds.,
*Dense Image Correspondences for Computer Vision,*Springer, Switzerland, pp. 279-295. - Jonathan Kalechstain, Vadim Ryvchin, and Nachum Dershowitz,
November 2015, “Using
Hints to Speed Up SAT” (Poster),
*Haifa Verification Conference (HVC)*, Haifa, Israel. - Adiel Ben-Shalom, Yaacov Choueka, Nachum Dershowitz, and Lior
Wolf, November 2015, “Querying the Cairo Genizah Images with
Word-Spotting Algorithm“ (Abstract),
*The Twelfth Annual Jerusalem Conference on the Digitisation of Cultural Heritage*, Jerusalem, Israel. - #Asaf Gayer, Adi Silberpfenning,
Nachum Dershowitz, Daniel Stoekl Ben Ezra, and Jonathan Ben-Dov,
September 2015,
“A Re-edition of 'Cryptic A Rule of Congregation' (4Qpap cryptA
Serekh Ha-Edah) from Qumran: Enhanced Algorithmic Methods to the
Aid of Textual Studies” (Poster),
*Manusciences '15: Franco-German Summer School Manuscripts. From Fragments to Books -- From Identification to Interpretation*, Chiemsee, Germany. - +Jonathan
Kalechstain, Vadim Ryvchin, and Nachum Dershowitz, September
2015, “Hints
Revealed”,
*Proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing (SAT 2015),*Austin, Texas, Lecture Notes in Computer Science, vol. 9340, Springer-Verlag, Switzerland, pp. 71-87. - ++Lev D.
Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner,
and Wolfram Schulte, editors, 2015,
*Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday*, Lecture Notes in Computer Science, vol. 9300, Springer-Verlag, Switzerland. - +Gil Sadeh, Lior
Wolf, Tal Hassner, Nachum Dershowitz, and Daniel Stökl Ben-Ezra,
August 2015, “Viral
Transcription Alignment”,
*Proceedings of the 13th International Conference on Document Analysis and Recognition (ICDAR 2015)*, Nancy, France, pp. 711-715. - +Adi
Silberpfennig, Lior Wolf, Nachum Dershowitz, Seraogi Bhagesh,
and Chaudhuri Bidyut, August 2015, “Improving
OCR for an Under-Resourced Script Using Unsupervised
Word-Spotting”,
*Proceedings of the 13th International Conference on Document Analysis and Recognition (ICDAR 2015),*Nancy, France, pp. 706-710. - *Nachum Dershowitz
and Christian Rinderknecht, June 2015, “The
Average Height of Catalan Trees by Counting Lattice Paths”,
*Mathematics Magazine*, vol. 88, no. 3, pp. 187-195. - *Nachum Dershowitz
and Christian Rinderknecht, June 2015, “A
Purely Combinatorial Derivation of the Average Height of
Catalan Trees”,
*Mathematics Magazine,*online supplement. - Nachum Dershowitz and Christian Rinderknecht, 2015, “The Average Height
of Catalan Trees by Counting Lattice Paths (Preprint)”,
*The On-Line Encyclopedia of Integer Sequences*. - +Nachum Dershowitz
and Alexander Nadel, July 2015, “Is
Bit-Vector Reasoning as Hard as NExpTime in Practice?
(Extended Abstract)”,
*Proceedings of the 13th International Workshop on Satisfiability Modulo Theories (SMT),*San Francisco, CA. - *Idan Dershowitz, Moshe Koppel,
Navot Akiva, and Nachum
Dershowitz, June 2015, “Computerized
Source Criticism of Biblical Texts”,
*Journal of Biblical Literature (JBL),*vol. 134, no. 2, pp. 253-271.

- +Kfir Bar, Nachum
Dershowitz, Lior Wolf, Yackov Lubarsky, and Yaacov Choueka,
April 2015, “Processing
Judeo-Arabic Texts”,
*Preliminary Proceedings of the Conference on Intelligent Text Processing and Computational Linguistics (CICLing)*, Cairo, Egypt. - *Nachum Dershowitz
and Evgenia Falkovich, April 2015, “Cellular
Automata are Generic”,
*Electronic Proceedings Theoretical Computer Science (EPTCS)*, vol. 179, pp. 17-32.

- #Nachum Dershowitz,
December 2014, “Algorithmic Paleography” (Abstract), Tal
Hassner, Robert Sablatnig, Dominique Stutzmann, and Ségolène
Tar, eds.,
*Digital Palaeography: New Machines and Old Texts (Dagstuhl Seminar 14302)*, Dagstuhl Reports, vol. 4, issue 7, Dagstuhl, Germany, p. 118. - #Nachum Dershowitz,
December 2014, “Computational Manuscriptology” (Extended
Abstract),
*Proceedings of the Fifth International Conference on Digital Archives and Digital Humanities*, Taipei, Taiwan, pp. 21-28. - ++Nachum Dershowitz
and Ephraim Nissan, editors, November 2014,
*Language, Culture, Computation: Computing – Theory and Technology, Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I*, Lecture Notes in Computer Science, vol. 8001, Springer-Verlag, Switzerland (part of three volume set). - ++Nachum Dershowitz
and Ephraim Nissan, editors, November 2014,
*Language, Culture, Computation: Computing of the Humanities, Law, and Narratives, Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II*, Lecture Notes in Computer Science, vol. 8002, Springer-Verlag, Switzerland (part of three volume set). - ++Nachum Dershowitz
and Ephraim Nissan, editors, November 2014,
*Language, Culture, Computation: Computational Linguistics and Linguistics, Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III*, Lecture Notes in Computer Science, vol. 8003, Springer-Verlag, Switzerland (part of three volume set). - Nachum
Dershowitz and Ephraim Nissan, November 2014, “Yaacov
Choueka: A Profile (and List of Publications)”,
*Language, Culture, Computation: Computing – Theory and Technology, Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I,*Nachum Dershowitz and Ephraim Nissan, eds., Lecture Notes in Computer Science, vol. 8001, Springer-Verlag, Switzerland, pp. 19-36. - °Kfir Bar, Yaacov
Choueka, and Nachum Dershowitz,
November 2014, “Matching
Phrases for Arabic-to-English Example-Based Translation System”,
*Language, Culture, Computation: Computational Linguistics and Linguistics, Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III*, Nachum Dershowitz and Ephraim Nissan, eds., Lecture Notes in Computer Science, vol. 8003, Springer-Verlag, Switzerland, pp. 54-63. - °Yaacov
Choueka, Nachum
Dershowitz, and Liad Tal, November 2014, “Matching
with a Hierarchical Ontology”,
*Language, Culture, Computation: Computing – Theory and Technology, Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I*, Nachum Dershowitz and Ephraim Nissan, eds., Lecture Notes in Computer Science, vol. 8001, Springer-Verlag, Switzerland, pp. 395-398. - °Nachum Dershowitz
and Andrey Rosenberg, November 2014, “Arabic
Character Recognition”,
*Language, Culture, Computation: Computing – Theory and Technology, Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I*, Nachum Dershowitz and Ephraim Nissan, eds., Lecture Notes in Computer Science, vol. 8001, Springer-Verlag, Switzerland, pp. 584-613. - +Kfir Bar and
Nachum Dershowitz, October 2014, “The Tel Aviv University System
for the Code-Switching Workshop Shared Task”,
*Proceedings of the First Workshop on Computational Approaches to Code-Switching,*Thamar Solorio, Elizabeth Blair, Suraj Maharjan, Steve Bethard, Mona Diab, Mahmoud Gonheim, Abdelati Hawwari, Fahad AlGhamdi, Julia Hirshberg, Alison Chang, and Pascale Fung, eds., Conference on Empirical Methods on Natural Language Processing (EMNLP), Doha, Qatar, pp. 139-143. - #Nachum Dershowitz, October 2014,
“Computer Science in the Service of
the Humanities” (Abstract),
*Abstract of the 11th Annual International Conference on the Digitization of Cultural Heritage,*Jerusalem, Israel, p. 6.

- +Kfir Bar, Nachum Dershowitz,
and Yaacov
Choueka, September 2014, “Automatic
Transliteration of Judeo-Arabic Texts into Arabic Script”,
*Israeli Seminar on Computational Linguistics (ISCOL)*, Haifa, Israel, pp. 2-4. - +Alon Kovalchuk,
Lior Wolf, and Nachum Dershowitz, September 2014, “A
Simple and Fast Word Spotting Method”,
*Proceedings of the Fourteenth International Conference on Frontiers in Handwriting Recognition (ICFHR)*, Crete, Greece, pp. 3-8. - +Nachum Dershowitz
and Lior Wolf, July 2014, “From
Caves to Cyberspace: AI Aids in the Study of the Dead Sea
Scrolls”,
*Xth Congress of the European Association of Jewish Studies (EAJS)*, Paris, France. - +Nachum
Dershowitz, July 2014, “Another
Proof for the Recursive Path Ordering”,
*Informal Proceedings of the 14th International Workshop on Termination (WST 2014)*, Carsten Fuhs, ed., Vienna, Austria, pp. 21-25. - +Nachum Dershowitz and
Evgenia Falkovich, July 2014, “Cellular
Automata are Generic”,
*Proceedings of the Tenth International Workshop on Developments in Computational Models (DCM 2014)*, Ugo Dal Lago and Russ Harmer, eds., Vienna, Austria. - +Jiaxiang Liu,
Nachum Dershowitz, and Jean-Pierre Jouannaud, July 2014, “Confluence by Critical Pair
Analysis”,
*Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications (RTA-TLCA)*, Gilles Dowek, ed., Vienna, Austria, Lecture Notes in Computer Science, vol. 8560, Springer-Verlag, Switzerland, pp. 287-302. - #Benjamin Klein, Nachum
Dershowitz, Lior Wolf, Orna Almogi, and Dorji Wangchuk, July
2014, “Finding Inexact
Quotations Within a Tibetan Buddhist Corpus (Poster)”,
*Digital Humanities (DH) 2014*, Lausanne, Switzerland, pp. 486-488. - #Idan Dershowitz, Nachum Dershowitz,
Tomer Hasid, and Amnon Ta-Shma, July 2014, “Orthography and Biblical
Criticism” (Poster),
*Digital Humanities (DH) 2014*, Lausanne, Switzerland, pp. 451-453. - +Adiel Ben-Shalom,
Yaacov Choueka, Nachum Dershowitz, Roni Shweka, and Lior Wolf,
July 2014, “Where is My Other
Half?”,
*Digital Humanities (DH) 2014*, Lausanne, Switzerland, pp. 89-91. - *Lior Wolf, Yair Hanani, Kfir
Bar, and Nachum Dershowitz, June 2014, “Joint
word2vec Networks for Bilingual Semantic Representations”,
*International Journal of Computational Linguistics and Applications,*vol. 5, no. 1 (January-June), pp. 27-44. - +Nachum Dershowitz
and Evgenia Falkovich, June 2014, “Generic
Parallel Algorithms”,
*Proceedings of Computability in Europe 2014: Language, Life, Limits (CiE)*, Arnold Beckmann, Erzsébet Csuhaj-Varjú, Klaus Meer, eds., Budapest, Hungary, Lecture Notes in Computer Science, vol. 8493, Springer-Verlag, Switzerland, pp. 133-142. - +Itai Ben Shalom,
Noga Levy, Lior Wolf, Nachum Dershowitz, Adiel Ben Shalom, Roni
Shweka, Yaacov Choueka, Tamir Hazan, and Yaniv Bar, June 2014, “Congruency-Based
Reranking”,
*Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR)*, Columbus, OH, pp. 2107-2114. - +Kfir Bar and
Nachum Dershowitz, April 2014, “Inferring
Paraphrases
for a Highly Inflected Language from a Monolingual Corpus”,
*Proceedings of the Conference on Intelligent Text Processing and Computational Linguistics (CICLing)*, Part 2, Kathmandu, Nepal, Lecture Notes in Computer Science, vol. 8404, Springer-Verlag, Heidelberg, pp. 254-270. - #Lior Wolf, Yair
Hanani, Kfir Bar, and Nachum Dershowitz, April 2014, “Joint word2vec Networks for Bilingual
Semantic Representations” (Poster),
*Conference on Intelligent Text Processing and Computational Linguistics (CICLing)*, Kathmandu, Nepal. - +Nachum Dershowitz, September
2013, “
*Res Publica:*The Universal Model of Computation”,*Proceedings of the 22nd EACSL Conference on Computer Science Logic (CSL),*Torino, Italy, pp. 5-10. - Nachum Dershowitz, August
2013, “Dependency
Pairs are a Simple Semantic Path Ordering”,
*Informal Proceedings of the 13th International Workshop on Termination (WST 2013)*, Bertinoro, Italy, pp. 35-40. - Nachum Dershowitz, August
2013, “Ordinal Path Orderings”,
*Informal Proceedings of the 13th International Workshop on Termination (WST 2013)*, Bertinoro, Italy, pp. 31-35. - +Tal Hassner, Lior
Wolf, and Nachum Dershowitz, August 2013, “OCR-Free Transcript Alignment”,
*Proceedings of the 12th International Conference on Document Analysis and Recognition (ICDAR 2013)*, Washington, DC, pp. 1310-1314. - +Yoram Zarai,
Tamar Lavee, Nachum Dershowitz, and Lior Wolf, August 2013, “Integrating Copies
Obtained from Old and New Preservation Efforts”,
*Proceedings of the 12th International Conference on Document Analysis and Recognition (ICDAR 2013),*Washington, DC, pp. 47-51. - #Nachum Dershowitz and Lior Wolf,
July 2013, “Automatic Scribal
Analysis of Tibetan Writings” (Abstract),
*Abstracts of the 13th Seminar of the International Association of Tibetan Studies*, Ulaanbaatar, Mongolia, p. 107. - *Nachum Dershowitz and Gilles
Dowek, July 2013, “Universality in Two
Dimensions”,
*Journal of Logic and Computation*. - Kfir Bar and
Nachum Dershowitz, June 2013, “Deriving Paraphrases for
Highly-Inflected Languages from Comparable Documents”
(Abstract),
*Bar-Ilan Symposium on Artificial Intelligence*, Ramat-Gan, Israel. - #Gitit Kehat and Nachum
Dershowitz, June 2013, “Statistical
Transliteration of Judeo-Arabic Text” (Poster),
*Israeli Seminar on Computational Linguistics (ISCOL)*, Beersheba, Israel. - #Tomer Hasid, Amnon Ta-Shma, Idan
Dershowitz, and Nachum Dershowitz, June 2013,
“Statistical Analysis of Orthographic Variation” (Poster),
*Israeli Seminar on Computational Linguistics (ISCOL)*, Beersheba, Israel. - Arthur Brongniart, Gilles Dowek, and Nachum Dershowitz, 2013, “Turing-2D (Simulation d'une machine de Turing 2D)”, online software.
- #Nachum Dershowitz and Tsevi
Mazeh, April 2013, “The Blessing
*Oseh Bereishit*for Astronomical Events” (Abstract) (in Hebrew),*Abstracts of the 20th Annual Conference on Torah U'madda*, Jerusalem, Israel. - °Maria Paola Bonacina and Nachum Dershowitz, March 2013, “Canonical Ground Horn Theories”, Programming Logics: Essays in Memory of Harald Ganzinger, Andreas Podelski, Andrei Voronkov, and Reinhard Wilhelm, eds., Lecture Notes in Computer Science, vol. 7797, Springer-Verlag, Berlin, pp. 35-71.
- *Roni Shweka, Yaacov
Choueka, Lior
Wolf, and Nachum Dershowitz, February
2013, “Automatic
Extraction of Catalog Data from Digital Images of Historical
Manuscripts”,
*Literary and Linguistic Computing*, vol. 28, no. 2, pp. 315-330. - Nachum Dershowitz, Matthieu Exbrayat, Eyal Ofek, Micalis Panagopoulos, and Ségolène Tarte, February 2013, “Tools”, in Computation and Palaeography: Potentials and Limits (Dagstuhl Perspectives Workshop 12382), Tal Hassner, Malte Rehbein, Peter A. Stokes, and Lior Wolf, eds., Dagstuhl Reports, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, p. 193.
- °Nachum Dershowitz and Edward M. Reingold, 2013, “Jewish Dating Pitfalls and Resources”, Selected Lectures on Genealogy: An Introduction to Scientific Tools, H. Daniel Wagner, ed., ISBN 978-965-281-004-5, printed at the Weizmann Institute of Science, Rehovot, Israel, pp. 21-38.
- +Kfir Bar and Nachum Dershowitz, December 2012, “Deriving Paraphrases for
Highly-Inflected Languages from Comparable Documents”,
*Proceedings of the 24th International Conference on Computational Linguistics (COLING)*, Mumbai, India, pp. 185-200. - *Nachum Dershowitz,
December 2012, “Jumping and
Escaping: Modular Termination and the Abstract Path Ordering”,
*Theoretical Computer Science*, Special issue:*New Directions in Rewriting (Honoring the 60th Birthday of Yoshihito Toyama)*, vol. 464, pp. 35-47. - Edward M. Reingold
and Nachum Dershowitz, October 2012, “Calendars”,
*McGraw-Hill Encyclopedia of Science & Technology*, 11th ed. - °Kfir Bar and Nachum Dershowitz, September 2012, “Semantics for Example-Based
Arabic Machine Translation”,
*Challenges for Arabic Machine Translation*, Abdelhadi Soudi, Stephan Vogel, Guenter Neumann, and Ali Farghaly, eds., Natural Language Processing Series, John Benjamins, Amsterdam, pp. 49-72. - *Nachum Dershowitz and Edward M. Reingold,
September 2012, “Modulo Intervals: A
Proposed Notation”,
*ACM SIGACT News*, vol. 43, no. 3, pp. 60-64. - +Noga Levy, Lior
Wolf, Nachum Dershowitz, and Peter Stokes, July 2012, “Estimating
the Distinctiveness of Graphemes and Allographs in
Palaeographic Classification”,
*Proceedings of Digital Humanities (DH 2012)*, Hamburg, Germany, Hamburg University Press, pp. 264-267. - *Nachum Dershowitz
and Evgenia Falkovich, July 2012, “Honest Universality”,
S. Abramsky, ed., Special issue of the
*Philosophical Transactions of the Royal Society A*, vol. 370, no. 1971, pp. 3340-3348. - °Nachum Dershowitz
and Evgenia Falkovich, 2012, “Effectiveness”,
*A Computable Universe; Understanding Computation & Exploring Nature As Computation*, Hector Zenil, ed., World Scientific/Imperial College Press, pp. 77-97. - ++Nachum
Dershowitz, ed., June 2012,
*Proceedings of the ACM/IEEE Symposium on Logic in Computer Science (LICS)*, Dubrovnik, Croatia. - ++Andrzej Bulatov,
Nachum Dershowitz, and Olivier Laurent, eds., June 2012,
*Short Papers of the ACM/IEEE Symposium on Logic in Computer Science (LICS)*, Dubrovnik, Croatia. - #Maria Paola Bonacina and Nachum Dershowitz, June 2012, “Abstract Canonical Inference: On Fairness in Theorem Proving” (Abstract), SVARM / VERIFY Workshop (Synthesis, Verification and Analysis of Rich Models), Manchester, UK.
- +Olivier Bournez,
Nachum Dershowitz, and Evgenia Falkovich, May 2012, “Towards an Axiomatization of
Simple Analog Algorithms”,
*Proceedings of the Conference on the Theory and Applications of Models of Computation (TAMC)*, Manindra Agrawal, S. Barry Cooper, and Angsheng Li, eds., Beijing, China, Lecture Notes in Computer Science, vol. 7287, pp. 525-536. - +Nachum Dershowitz
and Alex Zhicharevich, April 2012, “Language
Classification and Segmentation of Noisy Documents in Hebrew
Scripts”,
*LaTeCH 2012: EACL 2012 workshop on: Language Technology for Cultural Heritage, Social Sciences, and Humanities*, Avignon, France. - °Nachum Dershowitz
and Edward M.
Reingold, 2011, “Indian
Calendrical Calculations”,
*Ancient Indian Leaps into Mathematics*, B. S. Yadav and Man Mohan, eds., Birkhäuser, Boston, pp. 1-32. - °Lior Wolf, Nachum Dershowitz, Liza Potikha, Tanya German, Roni Shweka, and Yaacov Choueka, 2011, “Automatic Paleographic Exploration of Genizah Manuscripts”, in Kodikologie und Paläographie im Digitalen Zeitalter 2 - Codicology and Palaeography in the Digital Age 2, Franz Fischer, Christiane Fritze, and Georg Vogeler, eds., with Bernhard Assmann, Malte Rehbein, and Patrick Sahle, Schriften des Instituts für Dokumentologie und Editorik, vol. 3, Norderstedt: Books on Demand, Germany, pp. 157-179.
- +Lior Wolf, Lior
Litwak, Nachum
Dershowitz, Roni Shweka, and Yaacov
Choueka, November 2011, “Active Clustering of
Document Fragments using Information Derived from Both Images
and Catalogs”,
*International Conference on Computer Vision (ICCV)*, Dimitris N. Metaxas, Long Quan, Alberto Sanfeliu, and Luc J. Van Gool, eds., Barcelona, Spain, pp. 1661-1667. - +Lior Wolf, Liza Potikha, Nachum Dershowitz, Roni Shweka, and Yaacov Choueka, September 2011, “Computerized Paleography: Tools for Historical Manuscripts”, Proceedings of the 18th IEEE International Conference on Image Processing (ICIP 2011), Benoït Macq and Peter Schelkens, eds., Brussels, Belgium, pp. 3545-3548.
- *Lior Wolf, Rotem Littman,
Naama Mayer, Tanya German, Nachum Dershowitz,
Roni Shweka, and Yaacov
Choueka, August 2011, “Identifying
Join Candidates in the Cairo Genizah”,
*International Journal of Computer Vision*, vol. 94, no. 1, pp. 118-135. Online October 2010. - +Nachum
Dershowitz, July 2011, “The
Generic Model of Computation”,
*Proceedings of the Seventh International Workshop on Developments in Computational Models (DCM 2011)*, Elham Kashefi, Jean Krivine, and Femke van Raamsdonk, eds., Zurich, Switzerland,*Electronic Proceedings Theoretical Computer Science (EPTCS)*, vol. 88, pp. 59-71. Published July 2012. - Nachum Dershowitz, July 2011, “The Generic Model of Computation”, informal publication, arXiv:1208.2585 [cs.LO].
- Nachum Dershowitz and Evgenia Falkovich, July 2011, “A Formalization and Proof of the Extended Church-Turing Thesis (Extended Abstract)”, informal publication, arXiv:1207.7148 [cs.LO].
- Nachum
Dershowitz and Evgenia Falkovich, July 2011, “A Formalization and Proof of the
Extended Church-Turing Thesis (Extended Abstract)”,
*Proceedings of the Seventh International Workshop on Developments in Computational Models (DCM 2011)*, Elham Kashefi, Jean Krivine, and Femke van Raamsdonk, eds., Zurich, Switzerland,*Electronic Proceedings Theoretical Computer Science (EPTCS)*, vol. 88, pp. 72-78. Published July 2012. - Lior Wolf and Nachum Dershowitz, July 2011, “Identifying Join
Candidates in the Cairo Genizah” (Abstract),
*ESF Workshop on Digital Palaeography*, Würzburg, Germany. - Nachum Dershowitz, July 2011, “What is an Effective Algorithm?”
(Abstract),
*14th Congress of Logic, Methodology and Philosophy of Science (CLMPS)*, Nancy, France. - Nachum Dershowitz and Evgenia
Falkovich, June 2011, “A
Formalization and Proof of the Extended Church-Turing Thesis”
(Extended Abstract),
*Studia Logica Conference on Trends in Logic, IX: Church Thesis: Logic, Mind and Nature*, Krakow, Poland. - Alex Zhicharevich and Nachum
Dershowitz, June 2011, “Matching
Poorly Recognized Texts to a Corpus” (Poster),
*Israeli Seminar on Computational Linguistics (ISCOL)*, Bar-Ilan University. - Roni Shweka, Yaacov
Choueka, Lior Wolf, Nachum Dershowitz,
and Masha Zeldin, June 2011, “Automatic
Extraction of Catalog Data from Genizah Fragments' Images”
(Extended Abstract),
*Digital Humanities (DH 2011)*, Palo Alto, CA. - +Andrey
Stolyarenko and Nachum Dershowitz,
June 2011, “OCR for Arabic using SIFT
Descriptors With On-Line Failure Prediction”,
*Israeli Seminar on Computational Linguistics (ISCOL)*, Bar-Ilan University. - +Moshe Koppel,
Navot Akiva, Idan
Dershowitz, and Nachum Dershowitz,
June 2011, “Unsupervised
Decomposition of a Document into Authorial Components”,
*Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies (ACL-HLT)*, Portland, OR, 1356-1364. - *Roni Shweka, Yaacov
Choueka, Lior
Wolf, and Nachum Dershowitz, 2011, “‘
*Veqarev otam ehad el ehad’: Zihuy ktav yad vetseruf qit'ei hagnizah beemtsa'ut mahshev*(Identifying Handwriting and Joining Genizah Fragments by Computer)”,*Ginzei Kedem*, vol. 7, pp. 171-207. (In Hebrew.) - ++José Félix Costa
and Nachum
Dershowitz, eds., 2011, Special
Issue on Unconventional Computation,
*Natural Computing*, vol. 10, pp. 1215-1217. Available online 13 January 2011. - #Kfir Bar and Nachum Dershowitz, January 2011, “Using Verb Paraphrases for Arabic-to-English Example-Based Translation” (Extended Abstract), Workshop on Machine Translation and Morphologically-rich Languages, Haifa, Israel.
- #Nachum Dershowitz, January 2011, “Using Semantics in Translation” (Abstract), Workshop on Machine Translation and Morphologically-rich Languages, Haifa, Israel.
- +Kfir Bar and Nachum Dershowitz,
December 2010, “Tel Aviv University's
System Description for IWSLT 2010”,
*International Workshop on Spoken Language Translation (IWSLT 2010)*, Paris, France. - +Kfir Bar and Nachum Dershowitz,
October 2010, “Using Synonyms
for Arabic-to-English Example-Based Translation”,
*The Ninth Biennial Conference of the Association for Machine Translation in the Americas*, Denver, CO. - +Olivier
Bournez and Nachum
Dershowitz, September 2010, “Foundations
of Analog Algorithms”,
*Proceedings of the Third International Workshop on Physics and Computation (P&C)*, Nile River, Egypt, pp. 85-94. - ++Andreas Blass,
Nachum Dershowitz,
and Wolfgang
Reisig, eds., August 2010,
*Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday*, Lecture Notes in Computer Science, vol. 6300, Springer-Verlag, Berlin (627+xxv pages). - +Udi Boker and Nachum Dershowitz,
August 2010, “Three
Paths to Effectiveness”,
*Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday*, Andreas Blass, Nachum Dershowitz, and Wolfgang Reisig, eds., Lecture Notes in Computer Science, vol. 6300, Springer-Verlag, Berlin, pp. 135-146. - Andreas
Blass, Nachum
Dershowitz, and Wolfgang
Reisig, August 2010, “Yuri,
Logic, and Computer Science”,
*Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday*, Andreas Blass, Nachum Dershowitz, and Wolfgang Reisig, eds., Lecture Notes in Computer Science, vol. 6300, Springer-Verlag, Berlin, pp. 1-48. - +Andreas Blass,
Nachum Dershowitz,
and Yuri
Gurevich, August 2010, “Exact Exploration and
Hanging Algorithms”,
*Proceedings of the 24th International Workshop on Computer Science Logic (CSL 2010)*, Anuj Dawar and Helmut Veith, eds., Brno, Czech Republic, Lecture Notes in Computer Science, vol. 6247, Springer-Verlag, Berlin, pp. 140-154. - Nachum Dershowitz, July 2010, “An Abstract Path Ordering”,
*Eleventh International Workshop on Termination (WST)*, Edinburgh, Scotland. - Kfir Bar and
Nachum Dershowitz,
June 2010, “Using
Synonyms for Arabic-to-English Example-Based Translation”
(Abstract),
*Abstracts of the Israeli Seminar on Computational Linguistics (ISCOL)*, Tel Aviv University, Israel, pp. 28-29. - °°Nachum Dershowitz,
Shalom Lappin,
and Shuly Wintner,
editors, June 2010,
*Abstracts of the Israeli Seminar on Computational Linguistics (ISCOL)*, Tel Aviv University, Israel. - *Nachum Dershowitz
and Iddo
Tzameret, May 2010, “Complexity
of Propositional Proofs under a Promise”,
*ACM Transactions on Computational Logic*, vol. 11, no. 3, article 18 (29 pp.). - Lior Wolf, Rotem Littman,
Naama Mayer, Nachum
Dershowitz, Roni Shweka, and Yaacov
Choueka, December 2009, “Automatically
Identifying Join Candidates in the Cairo Genizah”
(Abstract),
*Israel Computer Vision Day*, Herzliya, Israel. - *Udi Boker and Nachum Dershowitz,
October 2009, “The
Influence of the Domain Interpretation on Computational Models”,
*Applied Mathematics and Computation,*vol. 215, no. 4, pp. 1323-1339. - +Lior Wolf, Rotem Littman,
Naama Mayer, Nachum
Dershowitz, Roni Shweka, and Yaacov
Choueka, October 2009, “Automatically
Identifying Join Candidates in the Cairo Genizah”
(Extended Abstract),
*IEEE Workshop on eHeritage and Digital Art Preservation (in conjunction with ICCV 2009)*, Kyoto, Japan.**Best paper award**. - ++Christian S.
Calude, José
Félix Costa, Nachum
Dershowitz, Elisabete
Freire, and Grzegorz Rozenberg, editors, September 2009,
*Proceedings of the Eighth International Conference on Unconventional Computation (UC 2009; Ponta Delgada, Portugal; September 2009)*, Lecture Notes in Computer Science, vol. 5715, Springer-Verlag, Berlin. - Udi Boker
and Nachum
Dershowitz, September 2009, “Three Paths to Effectiveness”,
*Preproceedings of HyperNet09: The UC2009 Hypercomputation Workshop*, Ponta Delgada, Portugal, pp. 23-28. - Kfir Bar, Nachum Dershowitz,
August 2009, “NIST Open Machine
Translation 2009 Evaluation: Tel Aviv University's System
Description”,
*National Institute of Standards and Technology (NIST) Open MT Evaluation Workshop*, Ottawa, Ontario, Canada. - @Andreas Blass, Nachum Dershowitz, and Yuri Gurevich, July 2009, “Exact Exploration”, TechReport MSR-TR-2009-99, Microsoft Research, Redmond, WA.
- *Andreas Blass,
Nachum Dershowitz,
and Yuri
Gurevich, June 2009, “When
are Two Algorithms the Same?”,
*Bulletin of Symbolic Logic*, vol. 15, no. 2, pp. 145-168. - °Nachum Dershowitz,
May 2009, “On Lazy
Commutation”,
*Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday*, Orna Grumberg, Michael Kaminski, Shmuel Katz, and Shuly Wintner, eds., Lecture Notes in Computer Science, vol. 5533, Springer-Verlag, Berlin, pp. 59-82. - *Nachum Dershowitz
and Shmuel Zaks,
January 2009, “More Patterns in
Trees: Up and Down, Young and Old, Odd and Even”,
*SIAM J. on Discrete Mathematics*, vol. 23, no. 1, pp. 447-465. - **Nachum Dershowitz
and Edward M.
Reingold, 2007,
*Calendrical Calculations*, third edition, Cambridge University Press (477+xxxi pages). Published online February 2014. - ++Arnon Avron, Nachum Dershowitz, and Alexander Rabinovich,
editors, 2008,
*Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday*, Lecture Notes in Computer Science, vol. 4800, Springer-Verlag, Berlin (682+xxi pages). - +Arnon Avron, Nachum Dershowitz, and Alexander Rabinovich,
2008, “Boris A.
Trakhtenbrot: Genealogy and Publications”, Arnon Avron, Nachum Dershowitz, and Alexander Rabinovich,
eds.,
*Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday*, Lecture Notes in Computer Science, vol. 4800, Springer-Verlag, Berlin, pp. 46-57. - Andreas Blass, Nachum Dershowitz, and Yuri Gurevich, November 2008, “When are Two Algorithms the Same?”, informal publication, arXiv:0811.0811v1 [cs.GL].
- +Udi Boker and Nachum Dershowitz, 2008, “The Church-Turing Thesis
over Arbitrary Domains”,
*Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday*, Arnon Avron, Nachum Dershowitz, and Alexander Rabinovich, eds., Lecture Notes in Computer Science, vol. 4800, Springer-Verlag, Berlin, pp. 199-229. - *Nachum Dershowitz
and Yuri
Gurevich, September 2008, “A
Natural Axiomatization of Computability and Proof of Church's
Thesis”,
*Bulletin of Symbolic Logic*, vol. 14, no. 3, pp. 299-350. - #Nachum Dershowitz,
September 2008, “An Axiomatic
Approach to Hyper-Computation” (Abstract),
*Abstracts of Graph Theory, Computational Intelligence and Thought: A Conference Celebrating Martin Charles Golumbic's 60th Birthday*, Tiberias, Israel. - +Nachum Dershowitz,
August 2008, “Canonicity!”,
*Proceedings of the Fourth International Joint Conference on Automated Reasoning (IJCAR)*, Sydney, Australia, Lecture Notes in Computer Science, A. Armando, P. Baumgartner, and G. Dowek, eds., Springer-Verlag, Berlin, pp. 327-331. - +Maria Paola
Bonacina and Nachum
Dershowitz, August 2008, “Canonical Inference
for Implicational Systems”,
*Proceedings of the Fourth International Joint Conference on Automated Reasoning (IJCAR)*, Sydney, Australia. Lecture Notes in Computer Science, A. Armando, P. Baumgartner, and G. Dowek, eds., Springer-Verlag, Berlin, pp. 380-395. - Nachum Dershowitz,
August 2008, “Bit Inference”,
*Workshop on Practical Aspects of Automated Reasoning*, Sydney, Australia, pp. 26-35. - +Udi Boker and Nachum Dershowitz,
August 2008, “The
Influence of the Domain Interpretation on Computational Models”,
*International Workshop on Physics and Computation*, Vienna, Austria, Centre for Discrete Mathematics and Theoretical Computer Science, Report CDMTCS-327, pp. 49-68. - +Nachum Dershowitz
and Claude Kirchner,
July 2008, “SPREADSPACES:
Mathematically-Intelligent Graphical Spreadsheets”,
*Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday*, Pierpaolo Degano, Rocco De Nicola, and José Meseguer, eds., Lecture Notes in Computer Science, vol. 5065, Springer-Verlag, Berlin, pp. 194-208. - Andreas Blass, Nachum Dershowitz, and Yuri Gurevich, February 2008, “When are Two Algorithms the Same?”, TechReport MSR-TR-2008-20, Microsoft Research, Redmond, WA.
- Nachum Dershowitz and Alexander Nadel, 2008, “From Total Assignment Enumeration to a Modern SAT Solver”, informal publication, arXiv:1110.5867v1 [cs.LO].
- Maria Paola Bonacina and Nachum Dershowitz, October 2007, “Canonical Ground Horn Theories”, Research Report 49/2007, Dipartimento di Informatica, Università degli Studi di Verona.
- ++Nachum
Dershowitz and Andrei
Voronkov, editors, October 2007,
*Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-07)*; Yerevan, Armenia, Lecture Notes in Computer Science, vol. 4790, Springer-Verlag, Berlin (562+xiii pages). - °°Nachum Dershowitz
and Andrei Voronkov,
editors, October 2007,
*Short Papers of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-07)*, Yerevan, Armenia. - Jacob Katz, Ziyad Hanna, and Nachum Dershowitz, October 2007, “Space-Efficient Bounded Model Checking”, arXiv copy.
- Nachum Dershowitz and Iddo Tzameret, July 2007, “Complexity of Propositional Proofs under a Promise”, informal publication, arXiv:0707.4255v1 [cs.CC].
- +Nachum Dershowitz
and Iddo
Tzameret, July 2007, “Complexity of
Propositional Proofs under a Promise”,
*Proceedings of the Thirty-Fourth International Colloquium on Automata, Languages and Programming (ICALP)*, Wroclaw, Poland, L. Arge, C. Cachin, T. Jurdzi'nski, and A. Tarlecki, eds., Lecture Notes in Computer Science, vol. 4596, Springer-Verlag, Berlin, pp. 291-302. - Nachum Dershowitz and Yuri Gurevich, July 2007, “A Natural Axiomatization of Church's Thesis”, TechReport MSR-TR-2007-85, Microsoft Research, Redmond, WA.
- +Nachum Dershowitz
and Georg
Moser, “The Hydra
Battle Revisited”, June 2007,
*Rewriting, Computation and Proof – Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday*, Lecture Notes in Computer Science, vol. 4600, Springer-Verlag, Berlin, pp. 1-27. - Nachum Dershowitz and Shmuel Zaks, May 2007, “More Patterns in Trees: Up and Down, Young and Old, Odd and Even” (Abstract), 1st Canadian Discrete and Algorithmic Mathematics Conference (CanaDAM), Banff, Alberta, Canada.
- +Nachum Dershowitz,
Ziyad
Hanna, and Alexander
Nadel, May 2007, “Towards a
Better Understanding of a Conflict-Driven SAT Solver”,
*Proceedings of the Tenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2007)*, Lisbon, Portugal, João Marques-Silva and Karem A. Sakallah, eds., Lecture Notes in Computer Science, vol. 4501, Springer-Verlag, Berlin, pp. 287-293. - *Nachum Dershowitz
and E. Castedo Ellerman,
April 2007, “Leanest
Quasi-Orderings”,
*Information and Computation*, vol. 205, no. 4, pp. 535-556; available online 23 January 2007. - +Kfir Bar, Nachum Dershowitz,
and Yaacov
Choueka, April 2007, “Example-Based
Arabic-to-English Translation” (Extended Abstract),
*Proceedings of a Workshop on Arabic Natural Language Processing*, Fez, Morocco, pp. 325/1-4. - *Maria Paola
Bonacina and Nachum
Dershowitz, January 2007, “Abstract
Canonical Inference”,
*ACM Transactions on Computational Logic*vol. 8, no. 1, article 6. - +Nachum
Dershowitz, Jieh
Hsiang, Guan-Shieng
Huang, and Daher
Kaiss, November 2006, “Boolean Rings for
Intersection-Based Satisfiability”,
*13th International Conference on Logic for Programming and Artificial Intelligence and Reasoning (LPAR)*, Phnom Penh, Cambodia, Miki Hermann and Andrei Voronkov, eds., Lecture Notes in Computer Science, vol. 4246, Springer-Verlag, Berlin, pp. 482-496. - Nachum Dershowitz, Guan-Shieng Huang, and Mitchell A. Harris, October 2006, “Enumeration Problems Related to Ground Horn Theories”, informal publication, arXiv:cs/0610054v2 [cs.LO].
- ++Arnon Avron, Nachum Dershowitz,
and Alexander
Rabinovich, editors, October 2006, Special issue on “Logic and Computation:
Symposia at Tel Aviv”,
*Logic Journal of the IGPL*, vol. 14, no. 5. - Oren Hod, Assaf Roth, Tal Rubenczyk, Nachum Dershowitz, Erez Lotan, Liad Tal, and Yael Villa, October 2006, “Learning Spelling Corrections from Query Logs” (patent application).
- *Udi Boker and Nachum Dershowitz,
October 2006, “Comparing
Computational Power”,
*Logic Journal of the IGPL*, vol. 14, no. 5, pp. 633-648. - +Nachum Dershowitz,
Ziyad
Hanna, and Alexander
Nadel, August 2006, “A Scalable Algorithm for
Minimal Unsatisfiable Core Extraction”,
*Proceedings of the 9th International Conference Theory and Applications of Satisfiability Testing (SAT 2006)*, Seattle, WA, Armin Biere and Carla P. Gomes, eds., Lecture Notes in Computer Science, volume 4121, Springer-Verlag, Berlin, pp. 36-41. - *Udi Boker and Nachum Dershowitz, July 2006, “A Hypercomputational Alien”, J. of Applied Mathematics & Computation, vol. 178, no. 1, pp. 44-57; available online 9 November 2005.
- *Nachum Dershowitz
and Claude Kirchner,
July 2006, “Abstract
Canonical Presentations”,
*Theoretical Computer Science*, vol. 357, nos. 1-3, pp. 53-69. - Kfir Bar, Nachum Dershowitz, and Yaacov Choueka, June 2006, “Example-Based Arabic-English Machine Translation” (Abstract), Israeli Seminar in Computational Linguistics, Haifa.
- Nachum Dershowitz, “Maimonidean Calendrical Astronomy” (Abstract), Unpublished.
- Nachum Dershowitz, Ziyad Hanna, and Alexander Nadel, May 2006, “A Scalable Algorithm for Minimal Unsatisfiable Core Extraction”, informal publication, arXiv:cs/0605085v1 [cs.LO].
- Nachum Dershowitz and Claude Kirchner, May 2006, “Dispositif et procédé de résolution de contraintes (Equation-Solving Method and Device)” (patent application).
- +Udi Boker and Nachum Dershowitz,
February 2006, “Abstract Effective
Models”,
*New Developments in Computational Models: Proceedings of the First International Workshop on Developments in Computational Models (DCM 2005)*(Lisbon, Portugal, July 2005), M. Fernández and I. Mackie, eds.,*Electronic Notes in Theoretical Computer Science*, vol. 135, no. 3, pp. 15-23. - °Nachum Dershowitz,
December 2005, “Primitive
Rewriting”, A. Middeldorp, V. van Oostrom, F. van
Raamsdonk, and R. de Vrijer, eds.,
*Processes, Terms and Cycles: Steps on the Road to Infinity. Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday*, Lecture Notes in Computer Science, vol. 3838, Springer-Verlag, Berlin, pp. 127-147. - +Nachum Dershowitz,
December 2005, “The
Four Sons of Penrose”,
*Proceedings of the Eleventh Conference on Logic Programming for Artificial Intelligence and Reasoning (LPAR)*, Jamaica, G. Sutcliffe and A. Voronkov, eds., Lecture Notes in Computer Science, vol. 3835, Springer-Verlag, Berlin, pp. 125-138. - Nachum Dershowitz, November 2005, “Entropic Questioning”. Unpublished draft.
- Udi Boker and Nachum Dershowitz, October 2005, “Comparing Computational Power”, informal publication, arXiv:cs/0510069v1 [cs.LO].
- Udi Boker
and Nachum
Dershowitz, July 2005, “Abstract Effective
Models”,
*Preliminary Proceedings of New Developments in Computational Models: International Workshop on Developments in Computational Models (DCM 2005)*, M. Fernández and I. Mackie, eds., Lisbon, Portugal, pp. 114-123. - Nachum Dershowitz, E. Castedo Ellerman, and Edward M. Reingold, July 2005, “Well-Quasi-Orderings on Binary Trees”. Unpublished draft.
- Udi Boker and Nachum
Dershowitz, June 2005, “How to Compare the Power
of Computational Models”,
*Computability in Europe 2005: New Computational Paradigms*(Amsterdam), S. Barry Cooper, Benedikt Löwe, Leen Torenvliet, eds.,*Lecture Notes in Computer Science*, vol. 3526, Springer-Verlag, Berlin, pp. 54-64. - +Nachum
Dershowitz, Ziyad
Hanna, and Alexander
Nadel, June 2005, “A Clause-Based
Heuristic for SAT Solvers”, F. Bacchus and T. Walsch,
eds.,
*Proceedings of the Eighth International Conference on Theory and Applications of Satisfiability Testing (SAT 2005)*, St. Andrews, Scotland, Lecture Notes in Computer Science, vol. 3569, Springer-Verlag, Berlin, pp. 46-60. - +Nachum
Dershowitz, Ziyad
Hanna, and Jacob Katz, June 2005, “Bounded Model Checking with QBF”, F.
Bacchus and T. Walsch, eds.,
*Proceedings of the Eighth International Conference on Theory and Applications of Satisfiability Testing (SAT 2005; St. Andrews, Scotland)*, Lecture Notes in Computer Science, vol. 3569 , Springer-Verlag, Berlin, pp. 408-414. - Nachum Dershowitz and Iddo Tzameret, June 2005, “A Gap Tree Theorem for Quasi-ordered Labels”. Unpublished draft.
- +Nachum Dershowitz,
May 2005, “
*Term Rewriting Systems*by ‘Terese’ (Marc Bezem, Jan Willem Klop, and Roel de Vrijer, eds.): Book review”,*Theory and Practice of Logic Programming*, vol. 5, no. 3, pp. 391-395. - Nachum Dershowitz
and E. Castedo Ellerman,
April
2005, “Leanest
Quasi-Orderings (Preliminary version)”,
*Proceedings of the Sixteenth International Conference on Rewriting Techniques and Applications (Nara, Japan)*, J. Giesl, ed., Lecture Notes in Computer Science, vol. 3467, Springer-Verlag, Berlin, pp. 32-45. - +Nachum Dershowitz,
April
2005, “Open. Closed. Open.”,
*Proceedings of the Sixteenth International Conference on Rewriting Techniques and Applications (Nara, Japan)*, J. Giesl, ed., Lecture Notes in Computer Science, vol. 3467, Springer-Verlag, Berlin, pp. 376-393. - +Yulik Feldman, Nachum Dershowitz,
and Ziyad
Hanna, April 2005, “ Parallel
Multithreaded Satisfiability Solver: Design and Implementation”,
*Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2004)*, September 2004, London, UK;*Electronic Notes in Theoretical Computer Science*, vol. 128, no. 3, pp. 75-90. - +Jacob Katz, Ziyad Hanna, and Nachum Dershowitz, March 2005, “Space-Efficient Bounded Model Checking” (Extended Abstract), Design, Automation and Test in Europe, Munich, Germany, vol. 2, pp. 686-687.
- Nachum Dershowitz,
December
2004, “Hindu Calendrical
Calculations” (Abstract),
*Abstracts of International Conference on History and Heritage of Mathematical Sciences*, Indore, India. - +Nachum Dershowitz,
September
2004, “Termination
by Abstraction”,
*Proceedings of the Twentieth International Conference on Logic Programming*, St. Malo, France, Lecture Notes in Computer Science, vol. 3132, Springer-Verlag, Berlin, pp. 1-18. - +Nachum Dershowitz
and Edward M.
Reingold, July
2004, “Hebrew
Dating” (Abstract),
*Conference Syllabus of the 24th IAJGS International Conference on Jewish Genealogy*, Jerusalem, Israel, p. 129; extended abstract on CD-ROM. - Nachum Dershowitz, Jieh
Hsiang, Guan-Shieng
Huang, and Daher
Kaiss, May 2004, “Boolean
Ring
Satisfiability”,
*Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004)*, Vancouver, BC, Canada, pp. 281-286. - Maria Paola Bonacina and Nachum Dershowitz, May 2004, “Abstract Canonical Inference”, Research Report 18/2004, Dipartimento di Informatica, Università degli Studi di Verona.
- Maria Paola Bonacina and Nachum Dershowitz, May 2004, “Abstract Canonical Inference”, informal publication, arXiv.org.
- Tal Rubenczyk, Nachum Dershowitz, Yaacov Choueka, Michael Flor, Oren Hod, and Assaf Roth, May 2004, “Search Engine Method and Apparatus” (patent application).
- °°Nachum Dershowitz
and Alexander
Rabinovich, editors, March
2004,
*Abstracts of an International Symposium on Models of Computation*, School of Computer Science, Tel Aviv University, Ramat Aviv, Israel. - Nachum Dershowitz,
March
2004, “Comparing
Computational Power” (Abstract),
*Abstracts of an International Symposium on Models of Computation*, N. Dershowitz and A. Rabinovich, editors, School of Computer Science, Tel Aviv University, Ramat Aviv, Israel. - °°Arnon Avron and Nachum Dershowitz,
editors, March
2004,
*Abstracts of an International Symposium on Logic and Computation*, School of Computer Science, Tel Aviv University, Ramat Aviv, Israel. - ++Nachum Dershowitz,
editor, December
2003,
*Verification – Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday*, Lecture Notes in Computer Science, vol. 2772, Springer-Verlag, Berlin (783+xv pages). - °Nachum Dershowitz,
D. N. Jayasimha, and Seungjoon Park,
December
2003, “Bounded
Fairness”,
*Verification – Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday*, N. Dershowitz, ed., Lecture Notes in Computer Science, vol. 2772, Springer-Verlag, Berlin, pp. 304-317. - Nachum Dershowitz,
December
2003, “Pæan
to Zohar Manna”,
*Verification – Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday*, N. Dershowitz, ed., Lecture Notes in Computer Science, vol. 2772, Springer-Verlag, Berlin, pp. 1-10. - Daher Kaiss,
and Nachum
Dershowitz, November
2003, “Boosting
Satisfiability Testing Using Boolean Rings” (Poster),
*Proceedings of the IEEE International Conference on Software – Science, Technology & Engineering*, Herzliya, Israel. - Nachum Dershowitz and Mitchell A. Harris, October 2003, “Enumerating Satisfiable Propositional Formulæ”, Unpublished draft.
- Nachum Dershowitz and Mitchell A. Harris, September 2003, “Enumerating Satisfiable Propositional Formulae”, Abstracts of EuroComb'03 (European Conference on Combinatorics, Graph Theory and Applications), J. Fiala, ed., Report 2003-145, Institute for Theoretical Computer Science, Charles University, Prague, Czech Republic, pp. 87-90.
- +Nachum Dershowitz
and Iddo
Tzameret, August
2003, “Gap Embedding for
Well-Quasi Orderings”,
*Proceedings of the 10th Workshop on Logic, Language, Information and Computation (WoLLIC),*Ouro Preto, Minas Gerais, Brazil; Electronic Notes in Computer Science, vol. 84, pp. 80-90, September 2003. - Nachum Dershowitz, D. N. Jayasimha, and Seungjoon Park,
“Bounded Fairness”
(Abstract), July 2003,
*Abstracts of the International Symposium on Verification – Theory and Practice, Honoring Zohar Manna's 64th Birthday*(Sicily, Italy). - Nachum Dershowitz
and Claude Kirchner,
June
2003, “Abstract
Saturation-Based Inference”,
*Proceedings of the Eighteenth IEEE Symposium on Logic in Computer Science (LICS),*Ottawa, pp. 65-74. - Nachum Dershowitz, June 2003, “Termination Dependencies” (Extended Abstract), Proceedings of the Sixth International Workshop on Termination (WST '03), A. Rubio, ed., Valencia, Spain, pp. 27-30.
- Nachum Dershowitz and Iddo Tzameret, June 2003, “Quasi-Ordered Gap Embedding” (Extended Abstract), June 2003, Proceedings of the Sixth International Workshop on Termination (WST '03), A. Rubio, ed., Valencia, Spain, pp. 30-34.
- Nachum Dershowitz,
May
2003, “Canonicity”, Proceedings of the Fourth
International Workshop on First-Order Theorem Proving
(FTP'03),
Valencia, Spain, I. Dahn and L. Vigneron, eds., pp. 147-158;
*Electronic Notes in Theoretical Computer Science*, vol. 86, no. 1. - Nachum Dershowitz, April 2003, “Ground Canonicity”, informal publication, arXiv:cs/0304017v1 [cs.LO].
- Nachum Dershowitz and Mitchell A. Harris, January 2003, “Enumerating the Propositions Equivalents to a Boolean Formula”. Cf. Chauvin et al.
- Claude Kirchner and Nachum Dershowitz, July 2002, “Abstract Canonical Inference Systems” (Abstract), 16th International Workshop on Unification, Copenhagen, Denmark.
- **Edward M. Reingold
and Nachum Dershowitz, 2002,
*Calendrical Tabulations*, Cambridge University Press (606+xxx pages). - Nachum Dershowitz and Ely Pinchover, 2002, “Automatic Inductive Synthesis of Functional Programs”, Unpublished draft.
- °Nachum Dershowitz
and David A.
Plaisted, 2001, “Rewriting”,
chap. 9 in:
*Handbook of Automated Reasoning,*vol. 1, A. Robinson and A. Voronkov, eds., Elsevier, pp. 535-610. Reviewed in Zbl 0992.68123. - Nachum Dershowitz
and Claude Kirchner,
December 2001, “Inversion
Strategies”,
*Workshop on Rule-Based Constraint Reasoning and Programming (RCoRP'01)*, Cyprus. - #Nachum Dershowitz, September 1999, “Sharing Constructors” (Abstract), 14th International Workshop on Algebraic Development Techniques, Bonas, France.
- °°Nachum Dershowitz,
editor, June 2001,
*Abstracts of the Bar-Ilan International Symposium on Artificial Intelligence (BISFAI '01)*, Ramat-Gan, Israel. - °°Nachum Dershowitz,
editor, May 2001,
*Extended Abstracts of the Fifth International Workshop on Termination (WST '01)*, Utrecht, Logic Group Preprint Series No. 209, Institute of Philosophy, Utrecht University, Utrecht, The Netherlands. - Edward M. Reingold
and Nachum Dershowitz, 2001,
*Calendrical Calculations: The Millennium Edition,*Cambridge University Press (423+xxxii pages)..*Choice's*Outstanding Academic Title Award (2002) - Edward M. Reingold and Nachum Dershowitz, with Robert McNally, 2001, Calendrica 2.1 (Calendrical Calculations Millennium Software Package), Cambridge University Press (CD-ROM).
- Nachum Dershowitz and Edward M. Reingold, 2001, Calendrica Applet, online software.
- *Nachum Dershowitz,
Naomi Lindenstrauss,
Yehoshua Sagiv,
and Alexander
Serebrenik, 2001, “A General
Framework for Automatic Termination Analysis of Logic Programs”,
*Applicable Algebra in Engineering, Communication and Computing*, vol. 12, no. 1/2, pp. 117-156. - +Nachum Dershowitz,
2000, “[Hebrew] Calendar”,
*Reader's Guide to Judaism*, M. Terry, ed., Fitzroy Dearborn, Chicago, IL, pp. 97-98. - Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, and Alexander Serebrenik, December 2000, “A General Framework for Automatic Termination Analysis of Logic Programs”, informal publication, arXiv:cs/0012008v1 [cs.PL].
- Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, and Alexander Serebrenik, “Automatic Termination Analysis of Programs Containing Arithmetic Predicates”, November 2000, informal publication, arXiv.org.
- *Nachum Dershowitz,
October 2000, “Artificial Intelligence:
Retrospective/Prospective”,
*Annals of Mathematics and Artificial Intelligence*, vol. 28, nos. 1-4, pp. 3-5. - Nachum Dershowitz and Claude Kirchner, editors, September 2000, RULE 2000: Proceedings of the First International Workshop on Rule-Based Programming, Montreal, Canada.
- Nachum Dershowitz and Edward M. Reingold,
“Calendars”,
*McGraw-Hill Encyclopedia of Science & Technology*, 8th ed., 2000. Also available on CD-ROM:*McGraw-Hill Multimedia Encyclopedia of Science & Technology*, Release 2.0, 2000. - *Nachum Dershowitz
and Naomi
Lindenstrauss, 2000, “Abstract
And Parallel Machines”,
*Computers and Artificial Intelligence*, vol. 19, pp. 475-493. - Nachum Dershowitz,
Naomi Lindenstrauss,
Yehoshua Sagiv,
and Alexander
Serebrenik, “Automatic
Termination Analysis of Programs Containing Arithmetic
Predicates”, November 1999,
*Proceedings of the Verification of Logic Programs Workshop (Las Cruces, NM)*, Jan Smaus and Sandro Etalle, eds.,*Electronic Notes in Theoretical Computer Science (ENTCS),*vol. 30, no. 1, pp. 39-58. - +Nachum Dershowitz
and Subrata
Mitra, July 1999, “Jeopardy”,
*Proceedings of the Tenth International Conference on Rewriting Techniques and Applications (Trento, Italy)*, P. Narendran and M. Rusinowitch, eds., Lecture Notes in Computer Science, vol. 1631, Springer-Verlag, Berlin, pp. 16-29. - Nachum Dershowitz, June 1999, “The Power of Simplification: A Survey on Rewriting in Theorem Proving” (Abstract), Bar-Ilan Symposium on Foundations of Artificial Intelligence.
- Nachum Dershowitz, Maribel Fernández, and Jean-Pierre Jouannaud, May 1999, “Modular Confluence Revisited”, Unpublished draft. See “Modular Church-Rosser Modulo: The Complete Picture” by Jean-Pierre Jouannaud and Yoshihito Toyama.
- Nachum Dershowitz, Naomi Lindenstrauss,
Yehoshua Sagiv,
and Alexander
Serebrenik, May 1999, “When Linear Forms are not
Enough” (Abstract),
*Abstracts of the Fifth International Workshop on Termination*, Dagstuhl, Germany. - Nachum Dershowitz, May 1999, “Undecidability
Results that Follow from Results in Recursion Theory”
(Abstract),
*Abstracts of the Fifth International Workshop on Termination (WST)*, Dagstuhl, Germany. - +Schulamith C. Halevy and Nachum Dershowitz, 1999, “Prácticas Ocultas de los ‘Anusim’
del Nuevo Mundo” (in Spanish),
*Encuentro y Alteridad: Vida y cultura judia en America Latina*, J. B. Liwerant and A. G. de Backal, eds., UNAM, Mexico City, pp. 35-46. English version: “Obscure Practices among New World Anusim”. - °Nachum Dershowitz
and Edward M.
Reingold, 1998, “Implementing
Solar Astronomical Calendars”, in:
*Birashkname,*M. Akrami, ed., Shahid Beheshti University, Tehran, Iran, pp. 477-487. - Nachum Dershowitz, September 1998, “Calendar
Function Inversion” (Abstract),
*CCL II Workshop,*Jerusalem, Israel. - #Nachum Dershowitz
and Edward M.
Reingold, August 1998, “A
Terrestrial Calendar for Mars” (Abstract),
*Program Book of the Founding Convention of the Mars Society*, University of Colorado at Boulder, Boulder, CO, pp. 117-118. - Nachum Dershowitz
and Subrata
Mitra, July 1998, “Function
Inversion”,
*Proceedings of the 5th Workshop of Logic, Language, Information and Computation (WoLLIC)*, R. J. G. B. de Queiroz and M. Finger, eds., University of São Paulo, São Paulo, Brazil, pp. 55-59. - Nachum Dershowitz, May 1998, “Realistic Virtuality” (Abstract), Unpublished essay.
- Nachum Dershowitz
and Ralf
Treinen, March 1998, “An
On-line Database of Open Questions”,
*Proceedings of the Ninth International Conference on Rewriting Techniques and Applications (Japan)*, T. Nipkow, ed., Lecture Notes in Computer Science, vol. 1379, Springer-Verlag, Berlin, pp. 332-342. - Nachum Dershowitz, 1998, photo credit, in Schulamith Chava Halevy,
*HaTirah HaPnimit (Interior Castle: Poems about Being and Being Coerced)*, in Hebrew, Eked, Tel Aviv, 1998. - °°Nachum Dershowitz and Ralf Treinen, 1998-2010, “The Complete List of RTA Open Problems”, maintained online at http://www.cs.tau.ac.il/~nachum/rtaloop.
- Nachum Dershowitz and Shmuel Zaks, February 1998, “Trees and Paths”, Unpublished draft. See Xavier Viennot's counterexample.
- Mitchell A. Harris and Nachum Dershowitz, 1998, “Ordered Construction of Combinatorial Objects”, Unpublished draft. Cf. the theory of combinatorial species.
- Nachum Dershowitz and Naomi Lindenstrauss,
August 1997, “Abstract
And-Parallel Machines”,
*Proceedings of the Third International Euro-Par Conference on Parallel Processing (Passau, Germany)*, C. Lengauer, M. Griebl, and S. Gorlatch, eds., Lecture Notes in Computer Science, vol. 1300, Springer-Verlag, Berlin, pp. 1221-1225. - +Nachum Dershowitz,
August 1997, “When
are Two Rewrite Systems More than None?”,
*Proceedings of the Twenty-Second International Symposium on Mathematical Foundations of Computer Science (Bratislava, Slovakia),*I. Pr'ivara and P. Ruzicka, eds., Lecture Notes in Computer Science, vol. 1295, Springer-Verlag, Berlin, pp. 37-43. - +Nachum Dershowitz,
June 1997, “Innocuous
Constructor-Sharing Combinations”,
*Proceedings of the Eighth International Conference on Rewriting Techniques and Applications (Sitges, Spain)*, H. Comon, ed., Lecture Notes in Computer Science, vol. 1232, Springer-Verlag, Berlin, pp. 202-216. - Nachum Dershowitz,
Naomi Lindenstrauss,
and Yehoshua Sagiv,
May 1997, “What
Norms are Useful for Logic Programs?” (Abstract),
*Extended Abstracts of the Third International Termination Workshop (Ede, The Netherlands)*, T. Arts, ed., Universiteit Utrecht, Utrecht, The Netherlands. - Nachum Dershowitz,
May 1997, “Well-Quasi Orderings and Some Applications”
(Abstract),
*Extended Abstracts of the Third International Termination Workshop (Ede, The Netherlands)*, T. Arts, ed., Universiteit Utrecht, Utrecht, The Netherlands. - Nachum Dershowitz and Edward M. Reingold,
1997,
*Calendrical Calculations*, Cambridge University Press (307+xxi pages). Reviewed in:*Nature*(January 1, 1998);*European J. of Physics*(March 1998),*Computing Reviews*(May 1998);*Math. Reviews*98g:01007;*Astronomy Now*(August 1998);*ISIS*(December 1998);*British J. for the History of Science*(March 1999);*The Mathematical Gazette*(Mar 1999);*Zbl*894.01023. - Edward M. Reingold and Nachum Dershowitz, 1997, Calendrica 1.0 (Calendrical Calculations Software Package).
- Nachum Dershowitz and Edward M. Reingold, 1997,
*Calendar Algorithms*(patent application; abandoned).

- Nachum Dershowitz, September 1996, “Narrowing Streams” (Abstract), CCL II Workshop, Escorial, Spain.
- Nachum Dershowitz, May 1996, “Trees, Ordinals, and Termination” (Abstract), Proceedings of the 3rd Workshop on Logic, Language, Information and Computation (WoLLIC), Salvador, Brazil.
- Nachum Dershowitz and Laurent Vigneron, “Rewriting Home Page” (web page), maintained online at http://www.rewriting.org.
- Nachum Dershowitz, “Software Horror Stories” (web page), maintained online at http://www.cs.tau.ac.il/~nachum/horror.html.
- @Subrata Mitra and Nachum Dershowitz, January 1996, “Matching and Unification in Rewrite Theories”, Technical Report ADTI-1996-001, IBM Software Solutions Division, San Jose, CA.
- +Nachum Dershowitz,
December 1995, “Goal Solving as
Operational Semantics”,
*Proceedings of the International Logic Programming Symposium*, Portland, OR, J. Lloyd, ed., MIT Press, Cambridge, MA, pp. 3-17. - Schulamith C. Halevy and Nachum Dershowitz, December 1995, “Forty Days to Revelation” (audio tape), Twenty-Seventh Conference of the Association for Jewish Studies, Boston, MA.
- Nachum Dershowitz, 1995, “Contextual
Termination” (Abstract),
*Second International Workshop on Termination*, La Bresse, France. - *Nachum Dershowitz
and Charles
Hoot, May 1995, “Natural
Termination”,
*Theoretical Computer Science*, vol. 142, no. 2, pp. 179-207. - ++Nachum Dershowitz
and Naomi
Lindenstrauss, editors, 1995,
*Proceedings of the International Workshop on Conditional and Typed Rewriting Systems (Jerusalem, Israel, July 1994)*, Lecture Notes in Computer Science, vol. 968, Springer-Verlag, Berlin, (375+viii pages). - +Nachum Dershowitz,
1995, “Hierarchical
Termination”,
*Proceedings of the International Workshop on Conditional and Typed Rewriting Systems (Jerusalem, Israel, July 1994),*N. Dershowitz and N. Lindenstrauss, eds., Lecture Notes in Computer Science, vol. 968, Springer-Verlag, Berlin, pp. 89-105. - @Subrata Mitra and Nachum Dershowitz, May 1995, “Matching and Unification in Restricted Convergent Systems”, Technical Report ADTI-1995-007, IBM Software Solutions Division, San Jose, CA.
- Nachum Dershowitz,
Jean-Pierre
Jouannaud, and Jan
Willem Klop, April 1995, “Problems
in Rewriting III”,
*Proceedings of the Sixth International Conference on Rewriting Techniques and Applications (Kaiserslautern, Germany)*, J. Hsiang, ed., Lecture Notes in Computer Science, vol. 914, Springer-Verlag, Berlin, pp. 457-471. - +Nachum Dershowitz,
1995, “33
Examples of Termination”, in:
*French Spring School of Theoretical Computer Science Advanced Course on Term Rewriting (Font Romeaux, France, May 1993)*, H. Comon and J.-P. Jouannaud, eds., Lecture Notes in Computer Science, vol. 909, Springer-Verlag, Berlin, pp. 16-26. - Nachum Dershowitz and Edward M. Reingold, 1995, cal-hebrew.el -- Calendar Functions for the Hebrew Calendar, GNU Emacs distribution.
- Nachum Dershowitz, March 1995, “Rewrite-Based Deduction: Expansion and Contraction” (Abstract), Seminar Report No. 110, Dagstuhl Seminar on Deduction, W. Bibel, K. Furikawa, and M. Stickel, eds., p. 10.
- Nachum Dershowitz, Jean-Pierre Jouannaud, and Jan Willem Klop, February 1995, “Problems in Rewriting III”, Technical report IR-380, Computer Science, Vrije University, Amsterdam.
- Nachum
Dershowitz, October 1994, “From Specifications
to Programs: Induction in the Service of Synthesis”
(Abstract),
*Proceedings of the Fourth International Workshop on Analogical and Inductive Inference (Reinhardsbrunn Castle, Germany)*, S. Arikawa and K. Jantke, eds., Lecture Notes in Artificial Intelligence, vol. 872, Springer-Verlag, Berlin, pp. 6-7. - Nachum Dershowitz and Naomi Lindenstrauss,
eds., July 1994,
*Abstracts of the International Workshop on Conditional (and Typed) Rewriting Systems*, Hebrew University, Jerusalem, Israel. - Nachum Dershowitz, July 1994, “Hierarchical
Termination” (Extended Abstract),
*Abstracts of the International Workshop on Conditional (and Typed) Rewriting Systems*, Hebrew University, Jerusalem, Israel. Drafted December 1992. - *Leo Bachmair and Nachum Dershowitz,
March 1994, “Equational
Inference, Canonical Proofs, and Proof Orderings”,
*J. of the Association of Computing Machinery (JACM)*, vol. 41, no. 2, pp. 236-276. - +Nachum Dershowitz
and Subrata
Mitra, December 1993, “Higher-Order and Semantic
Unification”,
*Proceedings of the Thirteenth Conference on Foundations of Software Technology and Theoretical Computer Science*, Bombay, India, Lecture Notes in Computer Science, vol. 761, Springer-Verlag, Berlin, pp. 139-150. - Nachum Dershowitz and Subrata
Mitra, September 1993, “Higher-Order Unification with
Convergent Systems”,
*Preliminary Papers of the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93)*, Amsterdam, The Netherlands. - +Nachum
Dershowitz, 1993, “A
Taste of Rewrite Systems”, in:
*Functional Programming, Concurrency, Simulation and Automated Reasoning*, P. Lauer and J. Zucker, eds., Springer-Verlag, Berlin, Lecture Notes in Computer Science, vol. 693, pp. 199-228. - Nachum Dershowitz and Charles Hoot,
June 1993, “Topics in
Termination”,
*Proceedings of the Fifth International Conference on Rewriting Techniques and Applications (RTA)*, Montreal, Canada, C. Kirchner, ed., Lecture Notes in Computer Science, Berlin, Springer-Verlag. - Nachum Dershowitz, Jean-Pierre Jouannaud and Jan Willem Klop, 1993, “More Problems in Rewriting”, Report CS-R9332, Centrum voor Wiskunde en Informatica, Amsterdam.
- Nachum Dershowitz, 1993, “A Taste of Rewriting”, Leibnitz Center for Research in Computer Science, Hebrew University, Technical report 93-5, Jerusalem, Israel.
- Alan Bundy,
Nachum Dershowitz, Martin
Golumbic, and Hélène
Kirchner, editors, August 1993,
*Proceedings of the Workshop on Heuristics and Search Guiding in Automated Theorem Proving*, 13th International Conference on Artificial Intelligence, Chambery, France. - Nachum
Dershowitz, Jean-Pierre
Jouannaud and Jan
Willem Klop, June 1993, “More Problems in Rewriting”,
*Proceedings of the Fifth International Conference on Rewriting Techniques and Applications (RTA),*Montreal, Canada, C. Kirchner, ed., Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 468-487. - *Nachum Dershowitz
and Uday
Reddy, May/June 1993, “Deductive and Inductive Synthesis
of Equational Programs”,
*J. of Symbolic Computation*, vol. 15, issue 5-6, pp. 467-494. - *Nachum Dershowitz
and Yuh-jeng Lee, May/June 1993, “Logical
Debugging”,
*J. of Symbolic Computation*, vol. 15, issue 5-6, pp. 745-773. - Yuh-jeng Lee and Nachum
Dershowitz, May 1993, “Debugging
Logic Programs Using Specifications”,
*Proceedings of the First International Workshop on Automated and Algorithmic Debugging (Linkoping, Sweden)*, Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 64-78. - +Nachum Dershowitz,
April 1993, “Trees, Ordinals,
and Termination”,
*Proceedings of the Fourth International Joint Conference on Theory and Practice of Software Development (TAPSOFT),*Orsay, France, M.-C. Gaudel and J.-P. Jouannaud, eds., Lecture Notes in Computer Science, vol. 668, Springer-Verlag, Berlin, pp. 243-250. - *Edward M. Reingold,
Nachum Dershowitz,
and Stewart
H. Clamen, April 1993, “Calendrical
Calculations II: Three Historical Calendars”,
*Software -- Practice and Experience*, vol. 23, no. 4, pp. 383-404. - +Nachum Dershowitz
and Subrata
Mitra, January 1993, “Path Orderings for
Termination of Associative-Commutative Rewriting”,
*Proceedings of the Third International Workshop on Conditional Rewriting Systems (Pont-a-Mousson, France, July 1992)*, M. Rusinowitch, ed., Lecture Notes in Computer Science, vol. 656, Springer-Verlag, Berlin, pp. 168-174. - +Nachum Dershowitz,
January 1993, “Semigroups
Satisfying
*x*”,^{m+n}= x^{n}*Proceedings of the Third International Workshop on Conditional Rewriting Systems (Pont-a-Mousson, France, July 1992)*, M. Rusinowitch, ed., Lecture Notes in Computer Science, vol. 656, Springer-Verlag, Berlin, pp. 307-314. - Nachum Dershowitz and Subrata
Mitra, July 1992, “RPO for AC-Termination”,
*Preliminary Papers of the Third International Workshop on Conditional Rewriting Systems*, Pont-a-Mousson, France, M. Rusinowitch, ed., pp. 96-100. - Nachum Dershowitz, July 1992, “Bands and
Related Semigroups”,
*Preliminary Papers of the Third International Workshop on Conditional Rewriting Systems*, M. Rusinowitch, ed., Pont-a-Mousson, France, pp. 162-164. - +Nachum
Dershowitz and Edward M. Reingold,
July 1992, “Ordinal
Arithmetic with List Expressions”,
*Proceedings of the Symposium on Logical Foundations of Computer Science (Tver, Russia)*, A. Nerode and M. Taitslin, eds., Lecture Notes in Computer Science, vol. 620, Springer-Verlag, Berlin, pp. 117-126. - +Nachum
Dershowitz, Subrata
Mitra, and G.
Sivakumar, June 1992, “Decidable
Matching for Convergent Systems”,
*Proceedings of the Eleventh Conference on Automated Deuction (Saratoga Springs, NY)*, D. Kapur, ed., Lecture Notes in Artificial Intelligence, vol. 607, Springer-Verlag, Berlin, pp. 589-602. - Edward M. Reingold and Nachum Dershowitz, April 1992, tree.sty (Binary Tree Drawing in LaTeX Using the PiCTeX Macros), TeX macro package.
- +Nachum Dershowitz,
1992, “Rewriting Methods
for Word Problems”, in:
*Words, Languages & Combinatorics (Proceedings of the International Colloquium, Kyoto, Japan, August 1990)*, M. Ito, ed., World Scientific, Singapore, pp. 104-118. - Edward M. Reingold, Nachum Dershowitz, and Stewart H. Clamen, April 1992, “Calendrical Calculations, II: Three Historical Calendars”, Report DCS-R-92-1743, Department of Computer Science, University of Illinois, Urbana, IL.
- Leo Bachmair and Nachum Dershowitz, April 1992, “Equational Inference, Canonical Proofs, and Proof Orderings”, Report DCS-R-92-1746, Department of Computer Science, University of Illinois, Urbana, IL.
- Nachum Dershowitz, Jean-Pierre Jouannaud, and Jan Willem Klop, December 1991, “Open Problems in Rewriting”, Technical report CS-R9114, Computer Science, CWI, Amsterdam.
- +Nachum Dershowitz,
August 1991, “Ordering-Based
Strategies for Horn Clauses”,
*Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI)*, pp. 118-124, Sydney, Australia. - +Nachum Dershowitz,
July 1991, “Canonical
Sets of Horn Clauses”,
*Proceedings of the Eighteenth International Colloquium on Automata, Languages and Programming (ICALP)*, Madrid, Spain, J. Leach Albert, B. Monien and M. Rodriguez Artalejo, eds., Lecture Notes in Computer Science, vol. 510, Springer-Verlag, Berlin, pp. 267-278. - Nachum Dershowitz, June 1991, “Infinite
Rewriting” (Abstract),
*Abstracts of an International Symposium on Theoretical Computer Science in honor of Boris A. Trakhtenbrot*, Tel Aviv University, Tel Aviv, Israel. - Nachum Dershowitz, June 1991, “Natural
Termination Proofs”,
*Proceedings of the Bar-Ilan Symposium on Foundations of Artificial Intelligence*, Bar-Ilan University, Ramat-Gan, Israel. - *Nachum Dershowitz,
Stéphane Kaplan, and David A. Plaisted,
June 1991, “Rewrite,
Rewrite, Rewrite, Rewrite, Rewrite, ...”,
*Theoretical Computer Science*, vol. 83, no. 1, pp. 71-96. Reviewed in*Computing Reviews*9208-0604. - Nachum
Dershowitz,
Jean-Pierre Jouannaud and Jan Willem Klop, 1991, “Open
Problems in Rewriting”,
*Proceedings of the Fourth International Conference on Rewriting Techniques and Applications (Como, Italy)*, R. Book, ed., Lecture Notes in Computer Science, vol. 488, Springer-Verlag, Berlin, pp. 445-456. - +Nachum Dershowitz,
1991, “A
Maximal-Literal Unit Strategy for Horn Clauses”,
*Proceedings of the Second International Workshop on Conditional and Typed Rewriting Systems (Montreal, Canada, June 1990)*, S. Kaplan and M. Okada, eds., Lecture Notes in Computer Science, vol. 516, Springer-Verlag, Berlin, pp. 14-25. - Nachum Dershowitz
and Jean-Pierre
Jouannaud, February 1991, “Notations for Rewriting”,
*Bulletin of the European Association of Theoretical Computer Science*, no. 43, pp. 162-172. - °Nachum Dershowitz
and Jean-Pierre
Jouannaud, 1990, “Rewrite
Systems”, in:
*Handbook of Theoretical Computer Science, vol. B: Formal Methods and Semantics*, chap. 6, pp. 243-320, J. van Leeuwen, ed., North-Holland, Amsterdam. - +Nachum Dershowitz
and Naomi
Lindenstrauss, October 1990, “An Abstract
Concurrent Machine for Rewriting”,
*Proceedings of the Second Conference on Algebraic and Logic Programming (Nancy, France)*, H. Kirchner and W. Wechler, eds., pp. 318-331, Lecture Notes in Computer Science, vol. 463, Springer-Verlag, Berlin. - +Nachum Dershowitz
and Naomi
Lindenstrauss, October 1990, “A
Parallel Implementation of Equational Programming”,
*Proceedings of the Fifth Jerusalem Conference on Information Technology*, IEEE Computer Society, Jerusalem, Israel, pp. 426-435. - +Nachum Dershowitz,
Subrata
Mitra, and G.
Sivakumar, October 1990, “Equation Solving in
Conditional AC-Theories”,
*Proceedings of the Second Conference on Algebraic and Logic Programming (Nancy, France)*, H. Kirchner and W. Wechler, eds., Lecture Notes in Computer Science, vol. 463, Springer-Verlag, Berlin, pp. 283-297. - *Nachum Dershowitz
and Edward M.
Reingold, September 1990, “Calendrical
Calculations”,
*Software -- Practice and Experience*, vol. 20, no. 9, pp. 899-928. - Nachum Dershowitz,
August 1990, “Rewriting Methods for Word Problems”,
*Abstracts of International Colloquium on Words, Languages and Combinatorics,*Kyoto, Japan, pp. 18-20. - Nachum
Dershowitz, August 1990, “Infinite Rewriting”,
*Proceedings of Toyohashi Symposium on Theoretical Computer Science,*K. Hashiguchi, ed., Toyohashi, Japan, pp. 27-31. - Nachum Dershowitz and Eli (Ely) Pinchover,
July 1990, “Inductive Synthesis
of Equational Programs”,
*Proceedings of the Eighth National Conference on Artificial Intelligence*, AAAI, Boston, MA, pp. 234-239. - Nachum
Dershowitz, June 1990, “A Maximal-Literal Unit
Strategy for Horn Clauses”,
*Extended Abstracts of the Second International Workshop on Conditional and Typed Rewriting Systems*, S. Kaplan and M. Okada, eds., Concordia University, Montreal, Canada, pp. 21-27. - Nachum Dershowitz and Edward M. Reingold, April 1990, rangecite.sty (Document-Style Option for any Style with Numeric Citations).
- *Nachum Dershowitz
and Mitsuhiro
Okada, 1990, “A Rationale for Conditional Equational
Programming”,
*Theoretical Computer Science*, vol. 75, nos. 1-2, pp. 111-138. - *Nachum Dershowitz
and Shmuel Zaks,
January 1990, “The
Cycle Lemma and Some Applications”,
*European J. of Combinatorics*, vol. 11, no. 1, pp. 35-40. Reviewed in*Math. Reviews*91c:05011. - *Nachum Dershowitz
and Shmuel Zaks,
November 1989, “Patterns
in Trees”,
*Discrete Applied Mathematics*, vol. 25, no. 3, pp. 241-255. Reviewed in*Math. Reviews*91a:05033. - *Leo Bachmair and Nachum Dershowitz,
October 1989, “Completion for Rewriting Modulo a Congruence”,
*Theoretical Computer Science*, vol. 67, no. 2 & 3, pp. 173–201. - °Leo Bachmair, Nachum Dershowitz
and David A.
Plaisted, 1989, “Completion
Without Failure”, in:
*Resolution of Equations in Algebraic Structures, vol. 2: Rewriting Techniques*, H. Ait-Kaci and M. Nivat, eds., chap. 1, Academic Press, New York, pp. 1-30. - °Nachum Dershowitz,
1989, “Completion
and Its Applications”, in:
*Resolution of Equations in Algebraic Structures, vol. 2: Rewriting Techniques*, H. Ait-Kaci and M. Nivat, eds., chap. 2, Academic Press, New York, pp. 31-86. Reviewed in*Math. Reviews*91h:68097. - Edward M. Reingold and Nachum Dershowitz, September 1989, “Calendrical Calculations”, Report DCS-R-89-1541, Department of Computer Science, University of Illinois, Urbana, IL.
- Nachum Dershowitz,
Stéphane Kaplan, and David A. Plaisted,
July 1989, “Infinite
Normal Forms”,
*Proceedings of the Sixteenth International Colloquium on Automata, Languages and Programming (ICALP)*, Stresa, Italy, European Association of Theoretical Computer Science, Lecture Notes in Computer Science, vol. 372, Springer-Verlag, Berlin, pp. 249-262. - +Nachum Dershowitz
and Naomi
Lindenstrauss, June 1989, “Average Time
Analyses Related to Logic Programming”,
*Proceedings of the Sixth International Conference on Logic Programming (Lisbon, Portugal)*, G. Levi and M. Martelli, eds., pp. 369-381, MIT Press, Cambridge, MA. - +Nachum Dershowitz
and Hon-Wai Leong,
June 1989, “Fast Exchange Sorts”,
*Proceedings of the Third International Conference on Foundations of Data Organization and Algorithms*, W. Litwin and H. J. Schek, eds., Lecture Notes in Computer Science, vol. 367, Springer-Verlag, Berlin, pp. 102-113. Accepted for publication in*Computer J.* - ++Nachum
Dershowitz, editor, April 1989,
*Third International Conference on Rewriting Techniques and Applications*(Chapel Hill, NC), Lecture Notes in Computer Science, vol. 355, Springer-Verlag, Berlin (579+vii pages). - Nachum Dershowitz and Jean-Pierre Jouannaud, April 1989, “Rewrite Systems”, Laboratoire de Recherche en Informatique, Université de Paris-Sud, Rapport de Recherche 478, Orsay, France.
- *N. Alan Josephson and Nachum Dershowitz,
January/March 1989, “An Implementation of Narrowing”,
*J. Logic Programming*, vol. 6, no. 1&2, pp. 57-77. - Nachum Dershowitz
and Stéphane Kaplan, January 1989, “Rewrite,
Rewrite, Rewrite, Rewrite, Rewrite,...”,
*Proceedings of the Sixteenth ACM Symposium on Principles of Programming Languages*, Austin, TX, pp. 250-259. - Nachum Dershowitz
and Mitsuhiro
Okada, November 1988, “Conditional Equational Programming
and the Theory of Conditional Term Rewriting”,
*Proceedings of the International Conference on Fifth Generation Computer Systems*, ICOT, pp. 337-346, Tokyo, Japan. - °Nachum Dershowitz
and David A.
Plaisted, 1988, “Equational Programming”, in:
*Machine Intelligence 11: The logic and acquisition of knowledge*, J. E. Hayes, D. Michie and J. Richards, eds., chap. 2, Oxford Press, Oxford, pp. 21-56. - *Leo Bachmair and Nachum Dershowitz,
August 1988, “Critical Pair
Criteria for Completion”,
*J. of Symbolic Computation*, vol. 6, no. 1, pp. 1-18. Reviewed in*Math. Reviews*89j:68087. - *Nachum Dershowitz,
Leo Marcus and Andrzej
Tarlecki, August 1988, “Existence,
Uniqueness, and Construction of Rewrite Systems”,
*SIAM J. of Computing*, vol. 17, no. 4, pp. 629-639. Reviewed in*Math. Reviews*89k:68090 and*Zbl*658.68029. - +Nachum Dershowitz
and G. Sivakumar,
August 1988, “Goal-Directed
Equation Solving”,
*Proceedings of the Seventh National Conference on Artificial Intelligence*, AAAI, St. Paul, MN, pp. 166-170. - +Nachum Dershowitz
and Mitsuhiro
Okada, July 1988, “Proof-Theoretic
Techniques
and the Theory of Rewriting”,
*Proceedings of the Third IEEE Symposium on Logic in Computer Science (LICS)*, Edinburgh, Scotland, pp. 104-111. - +Nachum
Dershowitz, Mitsuhiro
Okada, and G.
Sivakumar, May 1988, “Canonical
Conditional Rewrite Systems”,
*Proceedings of the Ninth Conference on Automated Deduction (CADE, Argonne, IL)*, Lecture Notes in Computer Science, vol. 310, Springer-Verlag, Berlin, pp. 538-549. Reviewed in*Zbl*667.68043. - Nachum Dershowitz, 1987, “Termination of Rewriting”,
in:
*Rewriting Techniques and Applications*, pp. 69-115, J.-P. Jouannaud, ed., Academic Press. Reprinted from*Journal of Symbolic Computation.* - Nachum
Dershowitz and Yuh-jeng Lee, August 1987, “Deductive
Debugging”,
*Proceedings of the Fourth IEEE Symposium on Logic Programming*, San Francisco, CA, pp. 298-306. - +Nachum Dershowitz,
Mitsuhiro
Okada, and G.
Sivakumar, July 1987, “Confluence of
Conditional Rewrite Systems”,
*Proceedings of the First International Workshop on Conditional Term Rewriting Systems (Orsay, France),*S. Kaplan and J.-P. Jouannaud, eds., Lecture Notes in Computer Science, vol. 308, Springer-Verlag, Berlin, pp. 31-44. Reviewed in*Zbl*666.68094. - +Nachum Dershowitz
and G. Sivakumar,
July 1987, “Solving Goals
in Equational Languages”,
*Proceedings of the First International Workshop on Conditional Term Rewriting Systems (Orsay, France)*, S. Kaplan and J.-P. Jouannaud, eds., Lecture Notes in Computer Science, vol. 308, Springer-Verlag, Berlin, pp. 45-55. Reviewed in*Zbl*666.68093. - +Leo Bachmair and Nachum Dershowitz, June 1987, “Inference Rules
for Rewrite-Based First-Order Theorem Proving”,
*Proceedings of the Second IEEE Symposium on Logic in Computer Science*, Ithaca, NY, pp. 331-337. - Leo Bachmair
and Nachum Dershowitz, June 1987, “Critical Pair Criteria
for Rewriting Modulo a Congruence” (Extended abstract),
*Proceedings of the 1987 European Conference on Computer Algebra (Symbolic and Algebraic Computation) (Leipzig, East Germany)*, J. H. Davenport, ed., Lecture Notes in Computer Science, vol. 378, Springer-Verlag, Berlin, pp. 452-453. - Nachum Dershowitz
and Jieh
Hsiang, May 1987, “Refutational Theorem Proving With
Oriented Equations” (Abstract),
*Preliminary Proceedings of the Colloquium on the Resolution of Equations in Algebraic Structures*, Lakeway, TX. - Nachum
Dershowitz, May 1987, “Completion and Its Applications”,
*Preliminary Proceedings of the Colloquium on the Resolution of Equations in Algebraic Structures*, Lakeway, TX. - Leo Bachmair
and Nachum
Dershowitz, May 1987, “Completion for
Rewriting Modulo a Congruence”,
*Proceedings of the Second International Conference on Rewriting Techniques and Applications (Bordeaux, France)*, P. Lescanne, ed., Lecture Notes in Computer Science, vol. 256, Springer-Verlag, Berlin, pp. 192-203. - Nachum Dershowitz and Yuh-jeng Lee, April 1987, “Deductive Debugging”, Report DCS-F-87-961, Department of Computer Science, University of Illinois, Urbana, IL.
- *Nachum Dershowitz,
February/April 1987, “Termination
of Rewriting”,
*J. of Symbolic Computation*, vol. 3, no. 1&2, pp. 69-115, Corrigendum: 4, 3 (December 1987), 409-410. Reviewed in*Computing Reviews*8810-0792 and*Math. Reviews*88j:68099ab. - Nachum Dershowitz, 1986, “Program
Abstraction and Instantiation”, in:
*Readings in Artificial Intelligence and Software Engineering*, C. Rich and R. Waters, ed., chap. IX, Morgan Kaufmann, Los Altos, CA, pp. 475-490. Reprinted from*ACM Transactions on Programming Languages and Systems.* - D. N. Jayasimha and Nachum Dershowitz, December 1986, “Bounded Fairness”, Technical Report 615, Center for Supercomputing Research and Development, University of Illinois, Urbana, IL.
- *Nachum Dershowitz
and Shmuel Zaks,
November 1986, “Ordered Trees and Non-Crossing Partitions
(Note)”,
*Discrete Mathematics*, vol. 62, no. 2, pp. 215-218. Reviewed in*Math. Reviews 88c:05008*. - °Nachum Dershowitz,
1986, “Programming by Analogy”, in:
*Machine Learning II: An Artificial Intelligence Approach*, R. S. Michalski, J. G. Carbonell and T. M. Mitchell, eds., chap. 15, Morgan Kaufmann, Los Altos, CA, pp. 395-423. - N. Alan Josephson and Nachum Dershowitz,
September 1986, “An Implementation of Narrowing: The Rite Way”,
*Proceedings of the IEEE Symposium on Logic Programming*, Salt Lake City, UT, pp. 187-197. - +Leo Bachmair and Nachum Dershowitz, July 1986, “Commutation,
Transformation, and Termination”,
*Proceedings of the Eighth International Conference on Automated Deduction (CADE, Oxford, England)*, J. H. Siekmann, ed., Lecture Notes in Computer Science, vol. 230, Springer-Verlag, Berlin, pp. 5-20.**Winner of***CADE*Thoralf Skolem Award 2015. - Leo Bachmair
and Nachum Dershowitz, July 1986, “Critical
Pair Criteria for the Knuth-Bendix Completion Procedure”,
*Proceedings of the 1986 ACM Symposium on Symbolic and Algebraic Computation*, B. W. Char, ed., Waterloo, Ontario, pp. 215-217. - Leo Bachmair,
Nachum Dershowitz
and Jieh
Hsiang, June 1986, “Orderings for Equational Proofs”,
*Proceedings of the IEEE Symposium on Logic in Computer Science (LICS)*, Cambridge, MA, pp. 346-357.**Winner of**.*LICS 2006*“Test-of-time” award - Nachum Dershowitz and David A. Plaisted, April 1986, “Equational Programming”, Report R-86-1265, Department of Computer Science, University of Illinois, Urbana, IL.
- Nachum Dershowitz, Leo Marcus, and Andrzej Tarlecki, December 1985, “Existence, Uniqueness, and Construction of Rewrite Systems”, Report ATR-85(8354)-7, Computer Science Laboratory, The Aerospace Corporation, El Segundo, CA.
- Nachum Dershowitz,
October 1985, “Completeness of Completion” (Abstract),
*Bulletin of the European Association for Theoretical Computer Science*, vol. 27, pp. 94. - Nachum
Dershowitz, August 1985, “Synthesis
by Completion”,
*Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI)*, Los Angeles, CA, pp. 208-214. - Nachum Dershowitz, August 1985, “Termination of Rewriting”, Report R-85-1220, Department of Computer Science, University of Illinois, Urbana, IL.
- *Nachum Dershowitz,
July 1985, “Program
Abstraction and Instantiation”,
*ACM Trans. on Programming Languages and Systems*, vol. 7, no. 3, pp. 446-477. - Nachum
Dershowitz and David A. Plaisted,
July 1985, “Logic Programming
*cum*Applicative Programming”,*Proceedings of the IEEE Symposium on Logic Programming*, Boston, MA, pp. 54-66. - *Nachum Dershowitz,
May/June 1985, “Computing with Rewrite Systems”,
*Information and Control*, vol. 64, no. 2/3, pp. 122-157. Reviewed in*Math. Reviews 87e:68098*and*Zbl*584.68020. - Nachum Dershowitz,
May 1985, “Termination”,
*Proceedings of the First International Conference on Rewriting Techniques and Applications (Dijon, France),*Lecture Notes in Computer Science, vol. 202, Springer-Verlag, Berlin, pp. 180-224. Reviewed in*Zbl*581.68031. - *Nachum Dershowitz,
March 1985, “Synthetic Programming”,
*Artificial Intelligence*, vol. 25, pp. 323-373. Reviewed in*Computing Reviews*8601-0062. - Nachum Dershowitz, March 1985, “Synthesis by Completion”, Interim report, Center for Applied Logic and Artificial Intelligence, Bar-Ilan University, Ramat-Gan, Israel.
- Nachum
Dershowitz, February 1985, “Rewriting and
Verification” (Position Paper),
*Proceedings of a Formal Verification Workshop (VERkshop III)*, Watsonville, CA, p. 60, ACM SIGSOFT Software Engineering Notes 10, 4 (August 1985). - Nachum
Dershowitz and David A. Plaisted,
February 1985, “Conditional
Rewriting”,
*Proceedings of a Formal Verification Workshop (VERkshop III)*, ACM Software Engineering Notes 10, 4 (August 1985), Watsonville, CA, pp. 55-59. - Nachum Dershowitz and Shmuel Zaks, January 1985, “Patterns in Trees”, Report LCS/TM-271, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA.
- @KBPA Research Group (Mehdi T. Harandi, Donald Michie, Roy H. Campbell, Nachum Dershowitz, David A. Plaisted, eds.), December 1984, “Knowledge-Based Programming Assistant: An Intelligent Programming Support Environment”, Progress Report (January-December 1984), Department of Computer Science, University of Illinois, Urbana, IL.
- Nachum Dershowitz and Leo Marcus, August 1984, “Existence and Construction of Rewrite Systems” (revised), Office of Information Sciences Research, The Aerospace Corp., El Segundo, CA.
- Nachum Dershowitz
and N. Alan Josephson, July 1984, “Logic Programming by
Completion”,
*Proceedings of the Second International Logic Programming Conference*, Uppsala, Sweden, pp. 313-320. - Nachum Dershowitz,
May 1984, “Equations as Programming Language”,
*Proceedings of the Fourth Jerusalem Conference on Information Technology*, IEEE Computer Society, Jerusalem, Israel, pp. 114-124. - Nachum Dershowitz
and Shmuel Zaks,
March 1984, “Patterns in Trees”,
*Ninth Colloquium on Trees in Algebra and Programming (CAAP)*, B. Courcelle, ed., Cambridge University Press, Bordeaux, France, pp. 93-102. - Nachum Dershowitz, January 1984, “Programming by Analogy”, Rapport, Laboratoire de Recherche en Informatique, Universite de Paris-Sud, Orsay, France.
- Nachum
Dershowitz, September 1983, “Computing With Rewrite
Systems”,
*Proceedings of the NSF Workshop on the Rewrite Rule Laboratory*, General Electric Research and Development, Schenectady, NY, pp. 269-298. - +Nachum Dershowitz,
Jieh
Hsiang, N. Alan Josephson, and David A. Plaisted,
August 1983, “Associative-Commutative
Rewriting”,
*Proceedings of the Eighth International Joint Conference on Artificial Intelligence (IJCAI)*, Karlsruhe, West Germany, pp. 940-944. - +Jieh
Hsiang and Nachum
Dershowitz, July 1983, “Rewrite Methods for
Clausal and Non-Clausal Theorem Proving”, European
Association of Theoretical Computer Science,
*Proceedings of the Tenth International Colloquium on Automata, Languages and Programming (ICALP)*, Barcelona, Spain, Lecture Notes in Computer Science, vol. 154, Springer-Verlag, Berlin, pp. 331-346. - Nachum Dershowitz,
June 1983, “Programming by Analogy”,
*Proceedings of the Second International Workshop on Machine Learning*, University of Illinois, Monticello, IL, pp. 26-31. - @Nachum
Dershowitz, May 1983, “Building Well-Founded Orderings”,
in
*Well-Founded Orderings*, Technical Report ATR-83(8478)-3, Office of Information Sciences Research, The Aerospace Corporation, El Segundo, CA. - @Nachum
Dershowitz, May 1983, “Implementing Recursive Path
Orderings”, in
*Well-Founded Orderings*, Technical Report ATR-83(8478)-3, Office of Information Sciences Research, The Aerospace Corporation, El Segundo, CA. - @Nachum
Dershowitz, May 1983, “A Termination Proof that Requires
More than Polynomials”, in
*Well-Founded Orderings*, Technical Report ATR-83(8478)-3, Office of Information Sciences Research, The Aerospace Corporation, El Segundo, CA. - Nachum Dershowitz, May 1983, “Applications of the Knuth-Bendix Completion Procedure”, Technical Report ATR-83(8478)-2, Office of Information Sciences Research, The Aerospace Corporation, El Segundo, CA.
- Nachum Dershowitz, January 1983, “Computing with Rewrite Systems”, Technical Report ATR-83(8478)-1, Office of Information Sciences Research, The Aerospace Corp., El Segundo, CA.
- **Nachum Dershowitz,
1983,
*The Evolution of Programs*, Birkhäuser, Boston, MA (358 pages). Reviewed in*Computing Reviews*84:09-0705,*Software Maintenance News*, December 1984,*Zbl*642.68002, and*IEEE Software*, May 1985. - Nachum
Dershowitz, December 1982, “Applications of the
Knuth-Bendix Completion Procedure”,
*Proceedings of the Seminaire d'Informatique Theorique*, Paris, France, pp. 95-111. - Nachum Dershowitz and Leo Marcus, December 1982, “Existence and Construction of Rewrite Systems”, Technical Report ATR-82(8478)-3, Office of Information Sciences Research, The Aerospace Corporation, El Segundo, CA.
- Nachum Dershowitz and Shmuel Zaks, April 1982, “The Cycle Lemma and Some Applications”, Technical Report 238, Department of Computer Science, Technion, Haifa, Israel.
- @George F. Badger, Jr., Roy H. Campbell, Nachum Dershowitz, Mehdi T. Harandi, Andrew L. Laursen, Ryszard S. Michalski, Donald Michie, Robert Penka and Margaret Simmonds, April 1982, “Knowledge Based Programming Assistant, KBPA-1”, Report DCS-F-82-894, Department of Computer Science, University of Illinois, Urbana, IL.
- *Nachum Dershowitz,
March 1982, “Orderings for
Term-Rewriting Systems”,
*Theoretical Computer Science*, vol. 17, no. 3, pp. 279-301. Reviewed in*Zbl*525.68054. Number 12 on “List of the 100 most cited articles to appear in*Theoretical Computer Science*”. - +Nachum Dershowitz,
July 1981, “Termination of Linear
Rewriting Systems (Preliminary Version)”, European
Association of Theoretical Computer Science,
*Proceedings of the Eighth International Colloquium on Automata, Languages and Programming (ICALP)*, Acre, Israel, Lecture Notes in Computer Science, vol. 115, Springer-Verlag, Berlin, pp. 448-458. - Nachum Dershowitz, June 1981, “The Evolution of Programs: Program Abstraction and Instantiation”, Report DCS-R-80-1011, Department of Computer Science, University of Illinois, Urbana, IL.
- *Nachum Dershowitz
and Zohar Manna,
March 1981, “Inference Rules for
Program Annotation”,
*IEEE Trans. on Software Engineering*, vol. SE-7, no. 2, pp. 207-222. - Nachum
Dershowitz, March 1981, “The
Evolution of Programs: Program Abstraction and Instantiation”,
*Proceedings of the Fifth International Conference on Software Engineering*, San Diego, CA, pp. 79-89. - Nachum
Dershowitz and Shmuel Zaks,
March 1981, “Applied
Tree Enumerations”,
*Proceedings of the Sixth Colloquium on Trees in Algebra and Programming (CAAP)*, Genoa, Italy, Lecture Notes in Computer Science, vol. 112, Springer-Verlag, Berlin, pp. 180-193. Reviewed in*Math. Reviews*83d:68060. - *Nachum Dershowitz,
November 1980, “The Schorr-Waite Marking
Algorithm Revisited”,
*Information Processing Letters*, vol. 11, no. 3, pp. 141-143. - *Nachum Dershowitz
and Shmuel Zaks,
July 1980, “Enumerations of
Ordered Trees”,
*Discrete Mathematics*, vol. 31, no. 1, pp. 9-28. Reviewed in*Math. Reviews*81g:05069 and*Zbl*443.05049. - Nachum Dershowitz, May 1980, “The Evolution of Programs”, Report DCS-R-80-1017, Department of Computer Science, University of Illinois, Urbana, IL.
- Nachum Dershowitz, 1980, “On the Representation of Ordinals up
to Γ
_{0}”, Unpublished note, Department of Computer Science, University of Illinois, Urbana, IL. - Zohar Manna (prepared in cooperation with N. Dershowitz), January 1980, Synthesized Structured Programming, Final Technical Report RADC-TR-79-326, Rome Air Development Center, Air Force Systems Command.
- *Nachum Dershowitz,
November 1979, “A Note on
Simplification Orderings”,
*Information Processing Letters,*vol. 9, no. 5, pp. 212-215. Reviewed in*Math. Reviews*81f:68021. - Nachum Dershowitz, November 1979, “The Schorr-Waite Marking Algorithm Revisited”, Report DCS-R-79-999, Department of Computer Science, University of Illinois, Urbana, IL.
- Nachum Dershowitz, October 1979, “Orderings for Term-Rewriting Systems”,
*Proceedings of the Twentieth IEEE Symposium on Foundations of Computer Science*, San Juan, PR, pp. 123-131. - *Nachum Dershowitz
and Zohar Manna,
August 1979, “Proving
Termination With Multiset Orderings”,
*Communications of the ACM (CACM)*, vol. 22, no. 8, pp. 465-476. - Nachum Dershowitz, August 1979, “Orderings for Term-Rewriting Systems”, Report DCS-R-79-987, Department of Computer Science, University of Illinois, Urbana, Il.
- Nachum Dershowitz and Zohar Manna, July
1979, “Proving Termination
with Multiset Orderings”,
*Proceedings of the Sixth International EATCS Colloquium on Automata, Languages and Programming (ICALP)*, Graz, Austria, Lecture Notes in Computer Science, vol. 71, Springer-Verlag, Berlin, pp. 188-202. - Nachum Dershowitz and Shmuel Zaks, June 1979, “Enumerations of Ordered Trees”, Report DCS-R-79-970, Department of Computer Science, University of Illinois, Urbana, IL.
- Nachum Dershowitz, April 1979, “A Note on Simplification Orderings”, Report DCS-4-79-986, Department of Computer Science, University of Illinois, Urbana, IL.
- Nachum Dershowitz and Zohar Manna, May
1978, “Inference
Rules for Program Annotation”,
*Proceedings of the Third International Conference on Software Engineering*, Atlanta, GA, pp. 158-166. Reviewed in*Computing Reviews*20:34,421. - Nachum Dershowitz and Zohar Manna, March 1978, “Proving Termination with Multiset Orderings”, Memo AIM-310, STAN-CS-78-651, Stanford Artificial Intelligence Laboratory, Stanford University, Stanford, CA.
- *Rony Attar, Yaacov
Choueka, Nachum Dershowitz, and Aviezri
S. Fraenkel, January 1978, “KEDMA—Linguistic
Tools
for Retrieval Systems”,
*J. of the Association of Computing Machinery (JACM)*, vol. 25, no. 1, pp. 52-66. Reviewed in*Computing Reviews*19:33,532 and*Math. Reviews*57 #4702. - *Nachum Dershowitz
and Zohar Manna,
November 1977, “The Evolution of Programs:
Automatic Program Modification”,
*IEEE Trans. on Software Engineering*, vol. SE-3, no. 6, pp. 377-385. Reviewed in*Computing Reviews*19:32,987 and*Math. Reviews*56 #10100. - Nachum Dershowitz and Zohar Manna, October 1977, “Inference Rules for Program Annotation”, Memo AIM-303, STAN-CS-77-631, Stanford Artificial Intelligence Laboratory, Stanford University, Stanford, CA.
- Nachum Dershowitz, August 1977, “Automatic
Program Annotation”,
*Proceedings of the Fifth International Joint Conference on Artificial Intelligence (IJCAI)*, Cambridge, MA, pp. 378. - Nachum Dershowitz and Zohar Manna,
January 1977, “The Evolution
of Programs: A System for Automatic Program Modification”,
*Proceedings of the Fourth ACM Symposium on Principles of Programming Languages*, Los Angeles, CA, pp. 144-154. - Nachum Dershowitz and Zohar Manna, December 1976, “The Evolution of Programs: A System for Automatic Program Modification”, Memo AIM-294, STAN-CS-76-586, Stanford Artificial Intelligence Laboratory, Stanford University, Stanford, CA.
- Nachum Dershowitz and Zohar Manna, July
1975, “On Automating Structured Programming”,
*Proceedings of the IRIA Symposium on Proving and Improving Programs*, G. Huet and G. Kahn, eds., Arc-et-Senans, France, pp. 167-193. - Nachum Dershowitz and Zohar Manna, July 1975, “On Automating Structured Programming”, Report, Department of Applied Mathematics, Weizmann Institute of Science, Rehovot, Israel.
- *Nachum Dershowitz,
June 1975, “A Simplified Loop-Free
Algorithm for Generating Permutations”,
*Nordisk Tidskr. Informationsbehandling (BIT Numerical Mathematics)*, vol. 15, no. 2, pp. 158-164. Reviewed in*Zbl*0317.05006.