( en | de | ru )

 

Disambiguation of "Dershowitz, Nachum"

Author of the publication

copydeleteadd this publication to your clipboard
MSR-TR-2008-20: When are two algorithms the same?

, , and . Microsoft Research, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nachum Silberberg

Nachum Wahrmann

Nachum Orland

Nachum Orland

Nachum Wahrmann

 

Other publications of authors with the same name

Cellular Automata are Generic., and . DCM, volume 179 of EPTCS, page 17-32. (2014)From Total Assignment Enumeration to Modern SAT Solver, and . CoRR, (2011)1700 Forests.. CoRR, (2016)Semantic Characteristics of Schizophrenic Speech., , , , , , and . CoRR, (2019)A Maximal-Literal Unit Strategy for Horn Clauses.. CTRS, volume 516 of Lecture Notes in Computer Science, page 14-25. Springer, (1990)Matching Phrases for Arabic-to-English Example-Based Translation System., , and . Language, Culture, Computation (3), volume 8003 of Lecture Notes in Computer Science, page 54-63. Springer, (2014)Rewrite Methods for Clausal and Non-Clausal Theorem Proving., and . ICALP, volume 154 of Lecture Notes in Computer Science, page 331-346. Springer, (1983)Stemming and Segmentation for Classical Tibetan., , , , , , and . CICLing (1), volume 9623 of Lecture Notes in Computer Science, page 294-306. Springer, (2016)Inferring Paraphrases for a Highly Inflected Language from a Monolingual Corpus., and . CICLing (2), volume 8404 of Lecture Notes in Computer Science, page 254-270. Springer, (2014)Towards an Axiomatization of Simple Analog Algorithms., , and . TAMC, volume 7287 of Lecture Notes in Computer Science, page 525-536. Springer, (2012)