纳鸿·德肖维茨;Jean-Pierre Jouannaud Drags：用于图形重写的组合代数框架。 （英语） Zbl 1423.68229号 西奥。计算。科学。 777, 204-231 (2019).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}和\textit{J.-P.Jouannaud}，Theor。计算。科学。777204--231（2019年；Zbl 1423.68229） 全文： 内政部
乌迪·博克;纳鸿·德肖维茨 诚实的可计算性和复杂性。 （英语） Zbl 1439.03074号 Omodeo、Eugenio G.（编辑）等，马丁·戴维斯，关于可计算性、计算逻辑和数学基础。查姆：斯普林格。Outst公司。控制日志。10, 151-173 (2016).MSC公司：03日第10天 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{U.Boker}和\textit{N.Dershowitz}，Outst。控制日志。10151--173（2016；Zbl 1439.03074） 全文： 内政部
乔纳森·卡列赫斯坦;瓦迪姆·里夫钦;纳鸿·德肖维茨 提示已揭示。 （英语） Zbl 1471.68249号 Heule，Marijn（编辑）等人，《满意度测试的理论和应用——SAT 2015》。第18届国际会议，美国德克萨斯州奥斯汀，2015年9月24日至27日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9340, 71-87 (2015).MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Kalechstain}等人，Lect。注释计算。科学。9340，71-87（2015；Zbl 1471.68249） 全文： 内政部
玛丽亚·保拉（Maria Paola Bonacina）;纳鸿·德肖维茨 经典地喇叭理论。 （英语） Zbl 1383.03042号 沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797，35-71（2013）。MSC公司：03B70号 03B35型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}和\textit{N.Dershowitz}，莱克特。注释计算。科学。7797，35-71（2013；Zbl 1383.03042） 全文： 内政部
纳鸿·德肖维茨;胡特，查尔斯 自然终止。 （英语） Zbl 0873.68103号 西奥。计算。科学。 142，第2期，179-207（1995）.MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}和\textit{C.Hoot}，Theor。计算。科学。142，No.2，179--207（1995；Zbl 0873.68103） 全文： 内政部
纳鸿·德肖维茨;Jean-Pierre Jouannaud;扬·威廉·克鲁普 重写中的问题。（三）。 （英语） Zbl 1504.68089号 项洁（编辑），重写技术与应用。第六届国际会议，RTA-95，德国凯泽斯劳滕，1995年4月5-7日。诉讼程序。柏林：Springer-Verlag。勒克特。注释计算。科学。914, 457-471 (1995).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}等人，Lect。注释计算。科学。914457-471（1995年；Zbl 1504.68089） 全文： 内政部
纳鸿·德肖维茨 满足\（x^{m+n}=x^n\）的半群。 （英语） Zbl 1508.20065号 Rusinovitch，Michaöl（编辑）等人，《条件项重写系统》。第三届国际研讨会，CTRS-92，Pont-a-Mousson，法国，1992年7月8-10日。诉讼程序。柏林：Springer-Verlag。勒克特。注释计算。科学。656, 307-314 (1993).MSC公司：2005年5月20日 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}，莱克特。注释计算。科学。656307-314（1993；Zbl 1508.20065） 全文： 内政部
纳鸿·德肖维茨;Jean-Pierre Jouannaud;扬·威廉·克鲁普 重写中存在更多问题。 （英语） Zbl 1508.68149号 克洛德·基什纳（编辑），《重写技术与应用》。第五届RTA-93国际会议，加拿大蒙特利尔，1993年6月16日至18日。诉讼程序。柏林：Springer-Verlag。勒克特。注释计算。科学。690, 468-487 (1993).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}等人，Lect。注释计算。科学。690468-487（1993年；兹比尔1508.68149） 全文： 内政部
纳鸿·德肖维茨;查尔斯·霍特 终止主题。 （英语） Zbl 1503.68099号 克洛德·基什纳（编辑），《重写技术与应用》。1993年6月16日至18日，加拿大蒙特利尔，RTA-93第五届国际会议。诉讼程序。柏林：Springer-Verlag。勒克特。注释计算。科学。690, 198-212 (1993).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}和\textit{C.Hoot}，莱克特。注释计算。科学。690198--212（1993年；Zbl 1503.68099） 全文： 内政部
纳鸿·德肖维茨;Jean-Pierre Jouannaud;扬·威廉·克鲁普 重写中的开放问题。 （英语） Zbl 1503.68100号 罗纳德·V·书（编辑），重写技术与应用。第四届国际会议，RTA-91，意大利科摩，1991年4月10-12日。诉讼程序。柏林：Springer-Verlag。勒克特。注释计算。科学。488, 445-456 (1991).MSC公司：2012年第68季度 03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}等人，Lect。注释计算。科学。488445--456（1991年；Zbl 1503.68100） 全文： 内政部
纳鸿·德肖维茨;圣埃芬·卡普兰;David A.Plaisted。 重写，重写，重写…。 （英语） Zbl 0759.68044号 西奥。计算。科学。 83，第1号，71-96（1991）. 审核人：C.Masalagiu（伊阿什） MSC公司：2012年第68季度 68问题55 2015年1月3日 08A70型 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}等人，Theor。计算。科学。83，第1号，71-96（1991年；Zbl 0759.68044） 全文： 内政部
纳鸿·德肖维茨;冈田三弘 条件方程式编程的基本原理。 （英语） Zbl 0702.68034号 西奥。计算。科学。 75，编号1-2，111-138（1990）.MSC公司：68号01 68N17号 2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}和\textit{M.Okada}，Theor。计算。科学。75，编号1--2111-138（1990；Zbl 0702.68034） 全文： 内政部
纳鸿·德肖维茨 终止重写。 （英语） Zbl 0637.68035号 J.塞姆。计算。 3, 69-115 (1987).MSC公司：68问题65 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}，J.Symb。计算。3、69-115（1987年；Zbl 0637.68035） 全文： 内政部
纳鸿·德肖维茨 重新审视了Schorr-Waite标记算法。 （英语） Zbl 0447.68073号 信息处理。莱特。 11, 141-143 (1980).MSC公司：68兰特 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}，信息处理。莱特。11、141--143（1980年；Zbl 0447.68073） 全文： 内政部 链接