乌迪·博克；纳鸿·德肖维茨 什么是教会教育论文？ （英语） Zbl 07632456号 Ferreira，Fernando（编辑）等人，公理思维II。查姆：斯普林格。199-234 (2022).MSC公司：03-03 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{U.Boker}和\textit{N.Dershowitz}，in：公理化思维II。查姆：斯普林格。199-234（2022；Zbl 07632456） 全文： 内政部
乌迪·博克；纳鸿·德肖维茨 诚实的可计算性和复杂性。 （英语） 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 1475.68460号 贝克曼，阿诺德（编辑）等人，《追求普遍性》。第十二届欧洲可计算性会议，2016年6月27日至7月1日，法国巴黎，CiE 2016。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9709, 215-224 (2016).MSC公司：68周01 2009年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Bournez}等人，Lect。票据计算。科学。9709215--224（2016；Zbl 1475.68460） 全文： 内政部 arXiv公司
纳鸿·德肖维茨；叶夫根尼亚·法尔科维奇 细胞自动机是通用的。 （英语） Zbl 1476.68161号 Dal Lago，Ugo（编辑）等人，第十届计算模型开发国际研讨会论文集，DCM 2014，奥地利维也纳，2014年7月13日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）179，17-32（2015）。MSC公司：68问题80 04年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}和\textit{E.Falkovich}，电子。程序。西奥。计算。科学。（EPTCS）179，17-32（2015；Zbl 1476.68161） 全文： arXiv公司 链接
玛丽亚·保拉（Maria Paola Bonacina）；纳鸿·德肖维茨 经典地喇叭理论。 （英语） Zbl 1383.03042号 沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797，35-71（2013）。MSC公司：03B70号 03B35型 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}和\textit{N.Dershowitz}，莱克特。票据计算。科学。7797，35-71（2013；Zbl 1383.03042） 全文： 内政部
纳鸿·德肖维茨；叶夫根尼亚·法尔科维奇 诚实的普遍性。 （英语） 兹比尔1328.68062 菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。 370，编号1971，3340-3348（2012）.MSC公司：2005年第68季度 03日第10天 PDF格式BibTeX公司 XML格式引用 \textit｛N.Dershowitz｝和\textit｛E.Falkovich｝，Philos。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。370，编号1971，3340--3348（2012；Zbl 1328.68062） 全文： 内政部
纳鸿·德肖维茨 跳转和转义：模块化终止和抽象路径排序。 （英语） Zbl 1253.68193号 西奥。计算。科学。 464, 35-47 (2012).MSC公司：第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \文本{N.Dershowitz}，Theor。计算。科学。464，35-47（2012；Zbl 1253.68193） 全文： 内政部
乌迪·博克；纳鸿·德肖维茨 三条有效途径。 （英语） 兹比尔1287.68043 安德烈亚斯·布拉斯（编辑）等人，《逻辑和计算领域》。在尤里·古雷维奇70岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-15024-1/pbk）。计算机科学讲座笔记6300，135-146（2010）。MSC公司：2005年第68季度 03D20日 68周01 PDF格式BibTeX公司 XML格式引用 \textit{U.Boker}和\textit{N.Dershowitz}，莱克特。票据计算。科学。6300、135——146（2010；Zbl 1287.68043） 全文： 内政部
安德烈亚斯·布拉斯；纳鸿·德肖维茨；尤里·古里维奇 两种算法何时相同？ （英语） Zbl 1192.03021号 牛市。符号。日志。 15，第2期，145-168（2009）. 审核人：Heribert Vollmer（汉诺威） MSC公司：03D99号 第68季度01 68周01 PDF格式BibTeX公司 XML格式引用 \textit{A.Blass}等人，公牛。符号。日志。15，第2号，145--168（2009；Zbl 1192.03021） 全文： 内政部 arXiv公司 反向链接： 卫生官员
纳鸿·德肖维茨；尤里·古里维奇 可计算性的自然公理化和Church论文的证明。 （英语） Zbl 1167.03027号 牛市。符号。日志。 14，第3号，299-350（2008）. 审核人：莱昂·哈克勒路（威尔顿） MSC公司：03日第10天 03D20日 PDF格式BibTeX公司 XML格式引用 \textit｛N.Dershowitz｝和\textit｛Y.Gurevich｝，公牛。符号。日志。14，第3号，299--350（2008；Zbl 1167.03027） 全文： 内政部
玛丽亚·保拉（Maria Paola Bonacina）；纳鸿·德肖维茨 关联系统的规范推理。 （英语） Zbl 1165.03309号 阿曼多、亚历山德罗（编辑）等，《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林：施普林格出版社（ISBN 978-3-540-71069-1/pbk）。计算机科学课堂讲稿5195。人工智能课堂讲稿，380-395（2008）。MSC公司：03B35型 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}和\textit{N.Dershowitz}，莱克特。票据计算。科学。5195380-395（2008年；Zbl 1165.03309） 全文： 内政部
纳鸿·德肖维茨 正典！ （英语） Zbl 1165.03311号 阿曼多、亚历山德罗（编辑）等，《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林：施普林格出版社（ISBN 978-3-540-71069-1/pbk）。计算机科学课堂讲稿5195。《人工智能讲义》，327-331（2008）。MSC公司：03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \文本｛N.Dershowitz｝，Lect。票据计算。科学。5195、327--331（2008年；Zbl 1165.03311） 全文： 内政部
乌迪·博克；纳鸿·德肖维茨 关于任意领域的教会理论。 （英语） 兹伯利1133.03018 Avron，Arnon（编辑）等人，《计算机科学的支柱》。在鲍里斯（波阿斯）·特拉赫滕布罗特85岁生日之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-540-78126-4/pbk）。计算机科学讲座笔记4800，199-229（2008）。MSC公司：03日第10天 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛U.Boker｝和\textit｛N.Dershowitz｝，Lect。票据计算。科学。4800、199--229（2008；Zbl 1133.03018） 全文： 内政部
纳鸿·德肖维茨；克洛德·基什内尔 抽象规范演示。 （英语） Zbl 1099.03047号 西奥。计算。科学。 357，编号1-3，53-69（2006）.MSC公司：03财年03 03B35型 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}和\textit{C.Kirchner}，Theor。计算。科学。357，编号1--3，53-69（2006；Zbl 1099.03047） 全文： 内政部
乌迪·博克；纳鸿·德肖维茨 超计算外星人。 （英语） Zbl 1110.68040号 申请。数学。计算。 178，第1期，44-57（2006）.MSC公司：2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Boker}和\textit{N.Dershowitz}，应用。数学。计算。178，编号1，44-57（2006；Zbl 1110.68040） 全文： 内政部