×

找到18个文档（结果1-18）

最新的 引文 关联
玛丽亚·保拉（Maria Paola Bonacina）;纳鸿·德肖维茨

经典地喇叭理论。 （英语） Zbl 1383.03042号

Voronkov，Andrei（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（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 1503.68099号

Kirchner，Claude（编辑），重写技术和应用。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）
全文： 内政部
纳鸿·德肖维茨

树、序数和终止。 （英语） Zbl 1497.68140号

Gaudel，Marie-Claude（编辑）等人，《TAPSOFT’93：软件开发的理论与实践》。第四届CAAP/FASE国际联席会议，法国奥尔赛，1993年4月13日至17日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。第668243-250页（1993年）。
MSC公司：68第05页 03E10年
PDF格式BibTeX公司 XML格式引用
\textit{N.Dershowitz}，莱克特。注释计算。科学。668243-250（1993年；兹bl 1497.68140）
全文： 内政部
纳鸿·德肖维茨

Horn子句的最大字面单位策略。 （英语） Zbl 1507.68337号

Kaplan，Stéphane（编辑）等，条件重写和类型重写系统。第二届国际CTRS研讨会，加拿大蒙特利尔，1990年6月11-14日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。516, 14-25 (1991).
MSC公司：68伏15 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Dershowitz}，莱克特。注释计算。科学。516、14-25（1991年；Zbl 1507.68337）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件