坎通纳,多梅尼科;玛丽安娜·尼科洛西·阿斯蒙多 自由变量语义表中的\(\ delta \)-规则变体的健全框架。 (英语) 兹比尔1121.03020 J.汽车。推理 38,编号1-3,31-56(2007)。MSC公司:03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}和\textit{M.Nicolosi-Asmundo},J.Autom。推理38,No.1-3,31-56(2007;Zbl 1121.03020) 全文: 内政部
坎通纳,多梅尼科;卡拉戈罗·扎尔巴。;罗莎·拉杰里·坎纳塔 一种基于表格的具有迭代隶属度的集合论片断决策过程。 (英语) Zbl 1085.03010号 J.汽车。推理 34,第1期,49-72(2005)。MSC公司:03B35型 03E30年 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}等人,J.Autom。推理34,No.1,49--72(2005;Zbl 1085.03010) 全文: 内政部
卡拉戈罗·扎尔巴。;坎通纳,多梅尼科;雅各布·T·施瓦茨。 集合论子语言的一种决策过程,涉及单调函数、加法函数和乘法函数。一: 两级案例。 (英语) Zbl 1067.03019号 J.汽车。推理 33,编号3-4,251-269(2004)。MSC公司:03B25号 03B35型 03E30年 PDF格式BibTeX公司 XML格式引用 \textit{C.G.Zarba}等人,J.Autom。推理33,No.3--4,251--269(2004;Zbl 1067.03019) 全文: 内政部
坎通纳,D。;J.T.施瓦茨。 集合论基本子语言的决策程序:XI。由一些基本映射结构扩展的多级三段论。 (英语) Zbl 0734.03004号 J.汽车。推理 7,第2期,231-256(1991年)。MSC公司:03B25号 03E99型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}和\textit{J.T.Schwartz},J.奥托姆。推理7,No.2,231--256(1991;Zbl 0734.03004)
Cantone,D。 集合论初等子语言的决策过程:X。由单值算子和幂集算子扩展的多级三段论。 (英语) Zbl 0734.03003号 J.汽车。推理 193-230年第2期第7期(1991年)。MSC公司:03B25号 03E99型 03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone},J.Autom。推理7,No.2,193--230(1991;Zbl 0734.03003)
坎通纳,D。;Omodeo,E.G.公司。;Policriti,A。 三段论的自动化。二: 优化和复杂性问题。 (英语) Zbl 0744.03015号 J.汽车。推理 6,第2期,173-187(1990)。MSC公司:03B35型 03B25号 03B30型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}等人,J.Autom。推理6,No.2,173--187(1990;Zbl 0744.03015) 全文: 内政部
坎通纳,D。;V·库特洛。 集合论初等子语言的决策过程。十五: 由谓词Finite和运算符singleton和\(pred_<\)扩展的多级三段论。 (英语) Zbl 0698.03003号 J.汽车。推理 189-201年第2期第6页(1990年)。 审核人:J.M.普洛金 MSC公司:03B25号 03E99型 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}和\textit{V.Cutello},J.Autom。推理6,No.2,189--201(1990;Zbl 0698.03003) 全文: 内政部