×

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

最新的 引文 关联
坎通纳，多梅尼科；安德里亚·德·多梅尼科；皮埃特罗·毛吉里；尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。

集合论可判定片段的复杂性评估。一： 布尔案例的分类。 （英语） Zbl 1498.03112号

芬丹。通知。 181，编号1，37-69（2021）.
MSC公司：03E30年 03B25号 03B35型 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}等人，Fundam。通知。181，编号1，37--69（2021；Zbl 1498.03112）
全文： 内政部
坎通纳，多梅尼科；彼得罗·乌西诺

无序笛卡尔积算子布尔集理论可满足性问题的可判定性。 arXiv公司：2106.01224

预打印，arXiv:2106.01224[math.LO]（2021）。
MSC公司：03B25号 03B70号 2015年3月1日 03E05号 2018年1月5日 05C20号
BibTeX公司 引用
\textit｛D.Cantone｝和\textit｛P.Ursino｝，“具有无序笛卡尔乘积算子的布尔集合论的可满足性问题的可判定性”，预印本，arXiv:2160.1224[math.LO]（2021）
全文： arXiv公司
OA许可证
坎通纳，多梅尼科；皮埃特罗·毛吉里；尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。

集合论可判定片段的复杂性评估。二： 涉及成员关系的“小型”语言分类。 （英语） Zbl 1498.03113号

西奥。计算。科学。 848, 28-46 (2020).
MSC公司：03E30年 03B25号 03B35型 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}等人，Theor。计算。科学。84828--46（2020年；Zbl 1498.03113）
全文： 内政部
坎通纳，多梅尼科；彼得罗·乌西诺

集合论中形成过程技术的介绍。 （英语） Zbl 1402.03004号

查姆：施普林格（ISBN 978-3-319-74777-4/hbk；978-3-3169-74778-1/电子书）。xii，154页。(2018).
审核人：J.M.Plotkin（东兰辛）
MSC公司：03-02 03B25号 03B35型 03E30年 03E75型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}和\textit{P.Ursino}，集合论中形成过程技术的介绍。查姆：施普林格（2018；Zbl 1402.03004）
全文： 内政部
坎通纳，多梅尼科；阿尔菲奥·贾洛塔；史蒂芬·沃森

具有选择对应的布尔集理论的可满足性问题。 （英语） Zbl 1483.03029号

Patricia Bouyer等人，《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2017，意大利罗马，2017年9月20日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）256、61-75（2017）。
MSC公司：03E20型 03B25号 03E25型 2017年第68季度 91B06型 91B08型
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}等人，Electron。程序。西奥。计算。科学。（EPTCS）256，61-75（2017；Zbl 1483.03029）
全文： arXiv公司 链接
坎通纳，多梅尼科；尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。；阿尔贝托，Policriti

从我们的意识中消除超滤。 （英语） Zbl 1439.03034号

Omodeo、Eugenio G.（编辑）等，马丁·戴维斯，关于可计算性、计算逻辑和数学基础。查姆：斯普林格。Outst公司。控制日志。10, 255-283 (2016).
MSC公司：03B35型 03H10年上半年 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}等人，Outst。控制日志。10255-283（2016；Zbl 1439.03034）
全文： 内政部
坎通纳，多梅尼科；玛丽安娜·尼科洛西·阿斯蒙多

具有限制量化和有限枚举的三分类集合论片断的决策问题。 （英语） Zbl 1345.03020号

Crescenzi，Pierluigi（ed.）等人，《2015年ICTCS会议录》，第16届意大利理论计算机科学会议，意大利费伦泽，2015年9月9日至11日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记32269-86，仅电子版（2016）。
MSC公司：03B25号 03E30年
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}和\textit{M.Nicolosi-Asmundo}，电子。注释Theor。计算。科学。32269--86（2016；Zbl 1345.03020）
全文： 内政部 arXiv公司
坎通纳，多梅尼科；克里斯蒂亚诺·隆戈

具有有序对和一些不可判定扩展的集合论的可判定量化片段。 （英语） Zbl 1469.03032号

Faella，Marco（编辑）等人，第三届游戏、自动机、逻辑和形式验证国际研讨会，意大利那不勒斯，2012年9月6日至8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）96224-237（2012）。
MSC公司：03B25号 03E30年
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}和\textit{C.Longo}，电子。程序。西奥。计算。科学。（EPTCS）96，224--237（2012；Zbl 1469.03032）
全文： arXiv公司 链接
坎通纳，多梅尼科；尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。；加埃塔诺·T·斯巴达。

分析片段决策问题的可解决（和不可解决）案例。 （英语） 兹比尔1309.03007

伦德。问题。的里雅斯特马特大学 44, 313-348 (2012).
审核人：Mihai Prunescu（布加勒斯特）
MSC公司：03B25号 26A06号
PDF格式BibTeX公司 XML格式引用
\textit｛D.Cantone｝等人，Rend。问题。特里亚斯特马特大学44，313--348（2012；Zbl 1309.03007）
坎通纳，多梅尼科；安德烈亚·福米萨诺；玛丽安娜·尼科洛西·阿斯蒙多；奥莫多，尤金尼奥·乔瓦尼

具有互补性的关系式的图形表示。 （英语） Zbl 1254.03020号

西奥·雷罗。通知。申请。 46，第261-289号（2012年）.
MSC公司：03B35型 68吨15 03C10号机组
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}等人，RAIRO，Theor。通知。申请。46，第2号，261--289（2012；Zbl 1254.03020）
全文： 内政部 Numdam编号 欧洲DML
坎通纳，多梅尼科；克里斯蒂亚诺·隆戈；玛丽安娜·尼科洛西·阿斯蒙多

集合论的一个可判定的量化片断，涉及有序对及其在描述逻辑中的应用。 （英语） Zbl 1247.03013号

Marc Bezem（编辑），《计算机科学逻辑》（CSL’11）。2011年9月12日至15日，第25届国际研讨会，EACSL第20届年会，挪威卑尔根。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-32-3）。LIPIcs–莱布尼茨国际信息学会议录12，129-143，仅电子版（2011年）。
MSC公司：03B25号 1999年3月 2017年第68季度 65年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}等人，LIPIcs——莱布尼茨国际程序。通知。12、129--143（2011；Zbl 1247.03013）
全文： 内政部 链接
雅各布·T·施瓦茨。；坎通纳，多梅尼科；尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。
[马丁·戴维斯]

计算逻辑和集合论。应用形式化逻辑进行分析。马丁·戴维斯的前言。 （英语） Zbl 1246.03006号

伦敦：施普林格出版社（ISBN 978-0-85729-807-2/hbk；978-0-85729-808-9/ebook）。十七、416页。(2011).
审核人：Viorica Sofrone-Stokkerman（科布伦茨）
MSC公司：03-02 03B25号 03B35型 1999年3月 30E20型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit｛J.T.Schwartz｝等人，计算逻辑和集合论。应用形式化逻辑进行分析。马丁·戴维斯的前言。伦敦：施普林格出版社（2011；Zbl 1246.03006）
全文： 内政部
坎通纳，多梅尼科；Zarba，卡洛杰罗G。

有界完备格上单调函数的判定过程。 （英语） Zbl 1177.03022号

de Swart，Harrie（编辑）等，关系结构作为知识工具的理论和应用2。成本行动274国际研讨会，塔尔斯基，2002-2005年。选定的修订论文。柏林：施普林格出版社（ISBN 978-3-540-69223-2/pbk）。计算机科学课堂讲稿4342。人工智能课堂讲稿，318-333（2006）。
MSC公司：03B35型 03B25号 06B99号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}和\textit{C.G.Zarba}，Lect。票据计算。科学。4342、318--333（2006年；Zbl 1177.03022）
全文： 内政部
坎通纳，多梅尼科；卡拉戈罗·扎尔巴。

涉及可达性和非循环性的图论片断的基于表的决策过程。 （英语） Zbl 1142.03326号

Beckert，Bernhard（编辑），用分析表和相关方法进行自动推理。2005年9月14日至17日在德国科布伦茨举行的2005年TABLEAUX国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28931-3/pbk）。计算机科学3702课堂讲稿。人工智能课堂讲稿，93-107（2005）。
MSC公司：03B35型 03B25号 05C20号
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}和\textit{C.G.Zarba}，Lect。票据计算。科学。3702，93-107（2005年；兹bl 1142.03326）
全文： 内政部
坎通纳，多梅尼科；雅各布·T·施瓦茨。；卡拉戈罗·扎尔巴。

集合论子语言的一种决策过程，涉及单调函数、加法函数和乘法函数。 （英语） Zbl 1261.03068号

Dahn，Ingo（ed.）等人，FTP’2003：第四届一阶定理证明国际研讨会。研讨会会议记录（与RDP’03，改写、演绎和编程联合会议相关），西班牙巴伦西亚，2003年6月12日至14日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》86，第1期，49-60页（2003年）。
MSC公司：03B35型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}等人，Electron。注释Theor。计算。科学。86，第1号，49--60（2003；Zbl 1261.03068）
全文： 内政部
坎通纳，多梅尼科；尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。；雅各布·T·施瓦茨。；彼得罗·乌西诺

校对员项目日志中的注释。 （英语） Zbl 1274.68407号

Dershowitz，Nachum（编辑），《验证：理论与实践》。在佐哈尔·曼纳64岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 3-540-21002-4/pbk）。计算机科学课堂讲稿2772182-207（2003）。
MSC公司：68吨15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}等人，Lect。票据计算。科学。2772182-207（2003年；Zbl 1274.68407）
全文： 内政部
坎通纳，多梅尼科；尤金尼奥·奥莫多；阿尔贝托，Policriti
[雅各布·施瓦茨。]

计算的集合论。从决策过程到带集合的声明式编程。引言：雅各布·T·施瓦茨。 （英语） Zbl 0981.03056号

计算机科学专著。纽约州纽约市：斯普林格。第十八章，409页（2001年）。
审核人：J.M.Plotkin（东兰辛）
MSC公司：03E75型 68季度xx 68号30 03B25号 03B70号 03-02 68-02 68T27型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}等人，《计算的集合论》。从决策过程到带集合的声明式编程。雅各布·T·施瓦茨的前言。纽约州纽约市：施普林格（2001；Zbl 0981.03056）
坎通纳，多梅尼科；卡拉戈罗·扎尔巴。

用于集成一阶和初等集合论推理的表格演算。 （英语） Zbl 0963.03018号

Dyckhoff，Roy（编辑），用分析表和相关方法进行自动推理。2000年7月3日至7日，苏格兰圣安德鲁斯，TABLEAUX 2000国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1847, 143-159 (2000).
MSC公司：03B35型 03E30年 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}和\textit{C.G.Zarba}，Lect。票据计算。科学。1847、143--159（2000；Zbl 0963.03018）
坎通纳，多梅尼科；卡拉戈罗·扎尔巴。

一种新的基于表格的快速决策程序，用于未量化的集合理论片段。 （英语） Zbl 0955.03015号

卡费拉、里卡多（编辑）等，《经典和非经典逻辑中的自动演绎》。精选论文。柏林：斯普林格。莱克特。票据计算。科学。1761, 126-136 (2000).
MSC公司：03B35型 03B25号 1999年3月
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}和\textit{C.G.Zarba}，Lect。票据计算。科学。1761、126--136（2000年；Zbl 0955.03015）
坎通纳，多梅尼科；玛丽安娜·尼科洛西·阿斯蒙多

自由变量语义表中的“（delta）”规则的进一步有效自由化。 （英语） Zbl 0955.03014号

卡费拉、里卡多（编辑）等，《经典和非经典逻辑中的自动演绎》。精选论文。柏林：斯普林格。莱克特。票据计算。科学。1761, 109-125 (2000).
MSC公司：03B35型 03B10号机组
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}和\textit{M.Nicolosi Asmundo}，莱克特。票据计算。科学。1761、109--125（2000年；Zbl 0955.03014）
坎通纳，多梅尼科；Zarba，卡洛杰罗G。

一种基于表格的决策程序，用于涉及有限形式量化的集合论片段。 （英语） Zbl 0932.03009号

Murray，Neil V.（编辑），使用分析表和相关方法进行自动推理。1999年6月7日至11日，美国纽约州萨拉托加斯普林斯，1999年TABLEAUX国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1617, 97-112 (1999).
MSC公司：03B35型 03E30年 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}和\textit{C.G.Zarba}，Lect。票据计算。科学。1617，97--112（1999；Zbl 0932.03009）
坎通纳，多梅尼科

集合理论表的快速饱和策略。 （英语） Zbl 1412.68213号

Galmiche，Didier（编辑），用分析表和相关方法进行自动推理。1997年5月13日至16日，法国蓬特-阿-穆森，TABLEAUX’97国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1227, 122-137 (1997).
MSC公司：68吨15 03B25号 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}，莱克特。票据计算。科学。1227、122--137（1997；Zbl 1412.68213）
全文： 内政部
坎通纳，多梅尼科；文森佐·库特罗

基本拓扑的决策算法。一： 具有集合和映射构造、连通性和基数比较的拓扑三段论。 （英语） Zbl 0811.03008号

Commun公司。纯应用程序。数学。 47，第9期，1197-1217（1994）.
审核人：J.M.Plotkin（东兰辛）
MSC公司：03B25号 第54页第99页 03C65号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}和\textit{V.Cutello}，Commun。纯应用程序。数学。47，第9号，1197--1217（1994；Zbl 0811.03008）
全文： 内政部
坎通纳，多梅尼科；文森佐·库特罗

分层集合理论三段论的决策程序。（扩展摘要）。 （英语） Zbl 0921.03007号

Manuel Bronstein（编辑），ISSAC’93。1993年7月6日至8日，乌克兰基辅，符号和代数计算国际研讨会论文集。马里兰州巴尔的摩：ACM出版社。105-110（1993）中描述的。
MSC公司：03B25号 03E30年 03B35型 68吨15 03C13号机组
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}和\textit{V.Cutello}，收录于：ISSAC’93。1993年符号和代数计算国际研讨会论文集，乌克兰基辅，1993年7月6-8日。马里兰州巴尔的摩：ACM出版社。105-110（1993年；兹bl 0921.03007）
坎通纳，D。；V·库特洛。；J.T.施瓦茨。

Tarski和Presburger算法的决策问题扩展为集合。 （英语） Zbl 0794.03015号

Börger，Egon（编辑）等人，《计算机科学逻辑》。1990年10月1日至5日，德国海德堡CSL’90第四次研讨会。诉讼程序。柏林等：Springer-Verlag。莱克特。票据计算。科学。533, 95-109 (1991).
MSC公司：03B25号 03英尺30英寸
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}等人，Lect。票据计算。科学。533、95--109（1991年；Zbl 0794.03015）
坎通纳，D。；V·库特洛。；Policriti，A。

希尔伯特第十个问题的集合理论约简。 （英语） Zbl 0925.03045号

Börger，E.（编辑）等人，CSL’89。第三届计算机科学逻辑研讨会，德国凯泽斯劳滕，1989年10月2-6日。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。440, 65-75 (1990).
MSC公司：03B25号 05年11月
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}等人，Lect。票据计算。科学。440、65-75（1990年；Zbl 0925.03045）
坎通纳，D。；费罗，A。；Omodeo，E.G.公司。

集合论初等子语言的决策过程。八、。非量化集合论公式有限可满足性的半决策过程。 （英语） Zbl 0645.03007号

Commun公司。纯应用程序。数学。 41，第1期，第105-120页（1988年）.
审核人：J.M.普洛金
MSC公司：03B25号 1999年3月
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}等人，Commun。纯应用程序。数学。41，编号1，105-120（1988；Zbl 0645.03007）
全文： 内政部
坎通纳，多梅尼科；阿尔弗雷多·费罗；朱塞佩·索拉斯；比亚吉奥·米凯尔

集合论初等子语言的决策过程。四： 涉及秩运算符或出现一次\（\Sigma（x）=\{\{y\}|\）y\（\ in x\}\）的公式。 （英语） Zbl 0595.03007号

Commun公司。纯应用程序。数学。 40，第1期，37-77（1987）.
MSC公司：03B25号 1999年3月
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}等人，Commun。纯应用程序。数学。40，编号1，37--77（1987；Zbl 0595.03007）
全文： 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件