盛英;尤尼·佐哈尔;克里斯托夫·林盖森;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利 结合了稳定的无限性和(强烈的)礼貌。 (英语) Zbl 07753653号 J.汽车。推理 67,第4期,第34号论文,22页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sheng}等人,J.Autom。推理67,第4号,论文34,22页(2023;Zbl 07753653) 全文: 内政部
盛英;安德烈斯·诺兹利;安德鲁·雷诺兹;尤尼·佐哈尔;大卫·迪尔;沃尔夫冈·格里斯坎普;Park,Junkil公园;沙兹·卡迪尔;克拉克·巴雷特;塞萨尔·蒂内利 关于向量的推理:可满足性模序列理论。 (英语) Zbl 07753651号 J.汽车。推理 67,第3号,第32号论文,第34页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sheng}等人,J.Autom。推理67,第3号,论文32,34页(2023;Zbl 07753651) 全文: 内政部
罗云荣;Cheng,车;蒋洁红R。 依赖随机布尔可满足性的分辨证明系统。 (英语) Zbl 07739776号 J.汽车。推理 67,第3号,第26号论文,第27页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.-R.Luo}等人,J.Autom。推理67,第3号,论文26,27页(2023;Zbl 07739776) 全文: 内政部
亚历山德罗·阿巴特;哈尼尔·巴博萨;克拉克·巴雷特;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波尔格林;安德鲁·雷诺兹;塞萨尔·蒂内利 用非平凡常数合成程序。 (英语) 兹伯利07702725 J.汽车。推理 67,第2号,第19号论文,第25页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Abate}等人,J.Autom。推理67,第2号,第19号论文,第25页(2023;Zbl 07702725) 全文: 内政部
盛英;尤尼·佐哈尔;克里斯托夫·林盖森;简·兰格;帕斯卡·方丹;克拉克·巴雷特 代数数据类型的礼貌组合。 (英语) Zbl 07606342号 J.汽车。推理 66,编号3,331-355(2022).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sheng}等人,J.Autom。推理66,No.3,331--355(2022;Zbl 07606342) 全文: 内政部 arXiv公司 链接
乔舒亚·布拉肯西克;Marijn脚后跟;约翰·麦基;大卫·纳瓦兹 凯勒猜想的解决。 (英语) Zbl 07606340号 J.汽车。推理 66,第3期,277-300(2022).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Brakensiek}等人,J.Autom。推理66,No.3,277--300(2022;Zbl 07606340) 全文: 内政部 arXiv公司
玛丽亚·保拉(Maria Paola Bonacina);圣菲省格拉汉·伦格兰德;Natarajan Shankar 理论组合的冲突驱动可满足性:引理、模块和证明。 (英语) Zbl 07498608号 J.汽车。推理 66,编号1,43-91(2022).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}等人,J.Autom。推理66,No.1,43--91(2022;Zbl 07498608) 全文: 内政部
帕特里克·特伦丁;罗伯托·塞巴斯蒂亚尼 优化模块化有符号位向量和浮点数理论。 (英语) Zbl 07433028号 J.汽车。推理 65,第7期,1071-1096(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{P.Trentin}和\textit{R.Sebastiani},J.Autom。推理65,No.7,1071--1096(2021;Zbl 07433028) 全文: 内政部
艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;尤尼·佐哈尔;克拉克·巴雷特;塞萨尔·蒂内利 关于模参数位向量的可满足性。 (英语) Zbl 07433026号 J.汽车。推理 65,第7号,1001-1025(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Niemetz}等人,J.Autom。推理65,No.7,1001--1025(2021;Zbl 07433026) 全文: 内政部
西尔维奥·吉拉尔迪;埃琳娜·帕加尼 高阶量词消除、反仿真和容错系统。 (英语) Zbl 07356977号 J.汽车。推理 65,编号3,425-460(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}和\textit{E.Pagani},J.Autom。推理65,No.3,425--460(2021;Zbl 07356977) 全文: 内政部
本杰明·基尔;阿德里安·雷博拉·帕多;Heule,Marijn J.H。;阿明·比尔 用扩展的分辨率模拟强大的实用证明系统。 (英语) Zbl 1468.68293号 J.汽车。推理 64,第7期,1247-1267(2020).MSC公司:68伏15 03B05号 20层03 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Kiesl}等人,J.Autom。推理64,No.7,1247--1267(2020;Zbl 1468.68293) 全文: 内政部
玛丽亚·保拉(Maria Paola Bonacina);圣菲省格拉汉·伦格兰德;Natarajan Shankar 理论组合的冲突驱动可满足性:过渡系统和完备性。 (英语) Zbl 1468.68194号 J.汽车。推理 64,第3号,579-609(2020).MSC公司:68T20型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}等人,J.Autom。推理64,No.3,579-609(2020;Zbl 1468.68194) 全文: 内政部
马克西米利亚诺·克里斯蒂亚;吉安弗兰科·罗西 求解有限集和二元关系上的无量词一阶约束。 (英语) Zbl 1468.03009号 J.汽车。推理 64,第2期,295-330(2020年).MSC公司:03B35型 68N17号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Cristiá}和\textit{G.Rossi},J.奥托姆。推理64,No.2,295--330(2020;Zbl 1468.03009) 全文: 内政部
Paula Chocron;帕斯卡·方丹;克里斯托夫·林盖森 具有桥接功能的理论的礼貌和组合方法。 (英语) Zbl 1468.68143号 J.汽车。推理 64,第1期,97-134(2020).MSC公司:68兰特 03B70号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{P.Chocron}等人,J.Autom。推理64,No.1,97--134(2020;Zbl 1468.68143) 全文: 内政部 哈尔
黄成超;徐明;李志斌 多权力约束的冲突驱动解决程序。 (英语) Zbl 1468.68202号 J.汽车。推理 64,第1号,1-20(2020).MSC公司:68T20型 68T05型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.-C.Huang}等人,J.Autom。推理64,No.1,1--20(2020;Zbl 1468.68202) 全文: 内政部
路易斯·克鲁兹·菲利佩;若昂·西尔瓦侯爵;彼得·施奈德·坎普 形式验证布尔勾股三元组问题的解决方案。 (英语) Zbl 1468.68318号 J.汽车。推理 63,第3期,695-722(2019).MSC公司:68V20型 10年5月 68兰特 68T20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{L.Cruz-Filipe}等人,J.Autom。推理63,No.3,695--722(2019;Zbl 1468.68318) 全文: 内政部
菲利佩·卡萨尔;乔安·拉斯加 闪亮而有礼貌的理论有很多种等价性。 (英语) Zbl 1425.68370号 J.汽车。推理 60,第2期,221-236(2018).MSC公司:68吨15 03B35型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Casal}和\textit{J.Rasga},J.Autom。推理60,第2221-236号(2018;Zbl 1425.68370) 全文: 内政部
克莱尔·德罗斯;Sylvain Conchon公司;约翰尼斯·卡尼格;安德烈·帕斯科维奇 使用带有触发器的公理向SMT求解器添加决策过程。 (英语) Zbl 1356.68187号 J.汽车。推理 56,第4期,387-457(2016).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.Dross}等人,J.Autom。推理56,No.4,387--457(2016;Zbl 1356.68187) 全文: 内政部 哈尔
张汉涛 满意度模SAT的实验。 (英语) Zbl 1356.68208号 J.汽车。推理 第2143-154号第56页(2016年).MSC公司:68吨15 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang},J.Autom。推理56,No.2,143--154(2016;Zbl 1356.68208) 全文: 内政部
Nishant Totla公司;托马斯·维斯 完成基于实例化的插值。 (英语) 兹比尔1356.68203 J.汽车。推理 57,第1号,37-65(2016).MSC公司:68吨15 03C40号 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Totla}和\textit{T.Wies},J.Autom。推理57,No.1,37--65(2016;Zbl 1356.68203) 全文: 内政部 链接
马蒂亚斯·施莱普费尔;乔治·威森巴赫 超分辨率、子句和局部证明的标记插值系统。 (英语) Zbl 1356.68199号 J.汽车。推理 57,第1期,3-36(2016).MSC公司:68吨15 03B35型 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{M.Schlaipfer}和\textit{G.Weissenbacher},J.Autom。推理57,No.1,3--36(2016;Zbl 1356.68199) 全文: 内政部
玛丽亚·保拉(Maria Paola Bonacina);穆阿·约翰逊 自动演绎中地面证据的插值系统:一项调查。 (英语) Zbl 1356.68179号 J.汽车。推理 54,第4期,353-390(2015).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}和\textit{M.Johansson},J.Autom。推理54,No.4,353--390(2015;Zbl 1356.68179) 全文: 内政部
马修·格温;奥利弗·库尔曼 通过嵌套的输入分辨率概括单元扩展完整性和SLUR。 (英语) 兹伯利1319.03036 J.汽车。推理 52,第1期,31-65(2014).MSC公司:03B35型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Gwyne}和\textit{O.Kullmann},J.Autom。推理52,No.1,31--65(2014;Zbl 1319.03036) 全文: 内政部 arXiv公司
周敏;他,费;王,弯腰;顾,明;孙家光 有界元素的数组理论及其应用。 (英语) Zbl 1314.03017号 J.汽车。推理 52,第4期,379-405(2014).MSC公司:03B25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Zhou}等人,J.Autom。推理52,No.4,379--405(2014;Zbl 1314.03017) 全文: 内政部
Chang、Liang;石忠志;顾天龙;赵玲忠 用于表示和推理动作的一系列动态描述逻辑。 (英语) 兹比尔1276.68142 J.汽车。推理 49,第1期,1-52页(2012).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Chang}等人,J.Autom。推理49,No.1,1-52(2012;Zbl 1276.68142) 全文: 内政部
马蒂·Järvisalo;阿明·比尔;Heule,Marijn J.H。 在CNF上模拟电路级简化。 (英语) Zbl 1267.94144号 J.汽车。推理 49,第4期,583-619(2012).MSC公司:94立方厘米 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Järvisalo}等人,J.Autom。推理49,No.4,583--619(2012;Zbl 1267.94144) 全文: 内政部
史蒂文·肖卡特;杰罗·扬森;德克·弗梅尔 作为有限约束满足的Łukasiewicz逻辑中的可满足性检查。 (英语) Zbl 1315.03035号 J.汽车。推理 49,第4期,493-550(2012).MSC公司:03B50号 03B52号 68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Schockaert}等人,J.Autom。推理49,No.4,493--550(2012;Zbl 1315.03035) 全文: 内政部
穆纳乔·埃切宁;尼古拉斯·佩尔蒂埃 可满足模理论的一种实例化方案。 (英语) Zbl 1430.68401号 J.汽车。推理 第3期第48页,第293-362页(2012年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Echenim}和\textit{N.Peltier},J.Autom。推理48,No.3,293--362(2012;Zbl 1430.68401) 全文: 内政部
丹尼尔·祖切利;恩里卡·尼科里尼 无限状态系统模型检验的可判定性结果。 (英语) Zbl 1279.68226号 J.汽车。推理 48,第1号,1-42(2012).MSC公司:60年第68季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{D.Zucchelli}和\textit{E.Nicolini},J.Autom。推理48,No.1,1--42(2012;Zbl 1279.68226) 全文: 内政部
玛丽亚·保拉(Maria Paola Bonacina);克里斯托弗·林奇(Christopher A.Lynch)。;莱昂纳多·德·莫拉 关于通过带有推测推理的定理证明来确定可满足性。 (英语) Zbl 1243.68265号 J.汽车。推理 47,第2期,161-189(2011).MSC公司:68吨15 03B35型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}等人,J.Autom。推理47,No.2,161--189(2011;Zbl 1243.68265) 全文: 内政部
恩德鲁利斯,约尔格;约翰内斯·沃尔德曼;汉斯·赞特马 用于证明术语重写终止的矩阵解释。 (英语) Zbl 1139.68049号 J.汽车。推理 40,编号2-3,195-220(2008).MSC公司:68吨15 第68季度第42季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Endrullis}等人,J.Autom。推理40,No.2--3,195-220(2008;Zbl 1139.68049) 全文: 内政部 链接
Kleine Büning,汉斯;苏布拉马尼,K。;赵西顺 布尔函数作为量化布尔公式的模型。 (英语) Zbl 1126.03015号 J.汽车。推理 39,第1号,49-75(2007).MSC公司:03B05号 06E30年 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Kleine Büning}等人,J.Autom。推理39,No.1,49--75(2007;Zbl 1126.03015) 全文: 内政部
约翰·桑顿 加权SAT本地搜索的条款。 (英语) Zbl 1109.68106号 J.汽车。推理 35,编号1-3,97-142(2005).MSC公司:68T20型 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{J.桑顿},J.奥托姆。推理35,No.1-3,97-142(2005;Zbl 1109.68106) 全文: 内政部 链接
斯泽德,斯特凡 DLL次溶器的后门装置。 (英语) Zbl 1109.68105号 J.汽车。推理 35,编号1-3,73-88(2005).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Szeider},J.Autom。推理35,No.1--3,73-88(2005;Zbl 1109.68105) 全文: 内政部 链接
迈克尔·阿列克诺维奇;爱德华·赫施。;德米特里·伊特西克森 可满足公式上DPLL算法运行时间的指数下界。 (英语) Zbl 1109.68098号 J.汽车。推理 35,编号1-3,51-72(2005).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Alekhnovich}等人,J.Autom。推理35,No.1--3,51-72(2005;Zbl 1109.68098) 全文: 内政部
马可·波扎诺;罗伯特·布鲁托梅索;亚历山德罗·西马蒂;汤米·琼蒂拉;彼得·范·罗苏姆;斯蒂芬·舒尔茨;罗伯托·塞巴斯蒂亚尼 M(M)路径SAT:SAT和数学决策程序的紧密结合。 (英语) Zbl 1109.68101号 J.汽车。推理 35,编号1-3,265-293(2005).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人,J.Autom。推理35,No.1--3,265--293(2005;Zbl 1109.68101) 全文: 内政部
安德烈亚斯·梅耶;沃尔克·索尔格 SAT求解在有限代数分类中的应用。 (英语) Zbl 1109.68103号 J.汽车。推理 35,编号1-3,201-235(2005).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Meier}和\textit{V.Sorge},J.Autom。推理35,No.1--3,201-235(2005;Zbl 1109.68103) 全文: 内政部 链接
尤金·戈德伯格 证明CNF在当地的不可满足性。 (英语) Zbl 0995.03011号 J.汽车。推理 28,第4期,417-434(2002).MSC公司:03B35型 PDF格式BibTeX公司 XML格式引用 \textit{E.Goldberg}、J.Autom。推理28,No.4,417--434(2002;Zbl 0995.03011) 全文: 内政部
胡克,J.N。;G.拉戈。;V·钱德鲁。;A.施里瓦斯塔瓦。 一阶逻辑推理的部分实例化方法。 (英语) Zbl 0995.03010号 J.汽车。推理 28,第4期,371-396(2002).MSC公司:03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Hooker}等人,J.Autom。推理28,No.4,371--396(2002;Zbl 0995.03010) 全文: 内政部
伊恩·霍洛克斯;彼得·施奈德(Peter F.Patel-Schneider)。 评估命题模态(mathbf K(m))可满足性的优化决策程序。 (英语) Zbl 1002.68155号 J.汽车。推理 28,第2期,173-204(2002).MSC公司:68吨15 03B45 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{I.Horrocks}和\textit{P.F.Patel-Schneider},J.Autom。推理28,No.2,173--204(2002;Zbl 1002.68155) 全文: 内政部
迈克尔·利特曼。;斯蒂芬·马杰西克。;托尼安·皮塔西 随机布尔可满足性。 (英语) Zbl 0988.68189号 J.汽车。推理 27,第3期,251-296(2001).MSC公司:68层37 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Littman}等人,J.Autom。推理27,第3号,251--296(2001;Zbl 0988.68189) 全文: 内政部
爱德华·赫施。 SAT新的最坏情况上限。 (英语) Zbl 0960.03009号 J.汽车。推理 24,第4期,397-420(2000).MSC公司:03B35型 2015年3月1日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Hirsch},J.Autom公司。推理24,No.4,397--420(2000;Zbl 0960.03009) 全文: 内政部
伊恩·詹特(Ian P.Gent)。(编辑);托比·沃尔什(编辑) 特别问题:2000年的可满足性。 (英语) Zbl 0956.00015号 J.汽车。推理 24,第4期,540页(2000年).MSC公司:00B15号机组 03-06 68-06 PDF格式BibTeX公司 XML格式引用 \textit{I.P.Gent}(编辑)和textit{T.Walsh}(主编),J.Autom。推理24,第4期,540页(2000;Zbl 0956.00015) 全文: 内政部
张汉涛;标签,马克 实施Davis-Putnam方法。 (英语) 兹比尔0967.68148 J.汽车。推理 24,编号1-2,277-296(2000).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang}和\textit{M.Stickel},J.Autom。推理24,No.1--2,277--296(2000;Zbl 0967.68148) 全文: 内政部
伊琳娜·里什;丽娜·德希特 解决与搜索:SAT的两种策略。 (英语) Zbl 0967.68147号 J.汽车。推理 24,编号1-2,225-275(2000).MSC公司:68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{I.Rish}和\textit{R.Dechter},J.Autom。推理24,No.1--2,225-275(2000;Zbl 0967.68147) 全文: 内政部
沃尔夫冈库奇林;卡斯滕·辛兹 证明汽车产品数据管理的一致性断言。 (英语) Zbl 0968.68042号 J.汽车。推理 24,编号1-2,145-163(2000).MSC公司:第68页,共15页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Küchlin}和\textit{C.Sinz},J.Autom。推理24,No.1--2,145-163(2000;Zbl 0968.68042) 全文: 内政部
卡拉·戈麦斯。;巴特·塞尔曼;努诺·克拉托;亨利·考茨 可满足性和约束满足问题中的重尾现象。 (英语) Zbl 0967.68145号 J.汽车。推理 24,编号1-2,67-100(2000).MSC公司:68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.P.Gomes}等人,J.Autom。推理24,No.1--2,67--100(2000;Zbl 0967.68145) 全文: 内政部
艾蒂安·德克勒克;汉斯·范马伦;华纳,Joost P。 利用半定规划放松可满足性问题。 (英语) Zbl 0965.03017号 J.汽车。推理 24,编号1-2,37-65(2000).MSC公司:03B35型 90C22型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.de Klerk}等人,J.Autom。推理24,No.1--2,37-65(2000;Zbl 0965.03017) 全文: 内政部
伊恩·詹特(Ian P.Gent)。(编辑);托比·沃尔什(编辑) 2000年的可满足性。特刊。 (英语) Zbl 0966.00016号 J.汽车。推理 24,第1-2期,296页(2000年).MSC公司:00B15号机组 68-06 PDF格式BibTeX公司 XML格式引用 \textit{I.P.Gent}(编辑)和textit{T.Walsh}(主编),J.Autom。推理24,No.1--2296~p.(2000;Zbl 0966.00016) 全文: 内政部
亚尼斯·迪莫普洛斯 关于计算逻辑程序。 (英语) Zbl 0865.68026号 J.汽车。推理 17,第3期,259-289(1996).MSC公司:68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Dimopoulos},J.Autom。推理17,No.3,259--289(1996;Zbl 0865.68026) 全文: 内政部
汉斯·尤根·奥巴赫;克里斯托夫·韦登巴赫 关于Skolem函数假设的注记。 (英语) Zbl 0879.03006号 J.汽车。推理 15,第2期,267-275(1995). 审核人:G.Dowek(勒切斯奈) MSC公司:03B35型 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Ohlbach}和\textit{C.Weidenbach},J.Autom。推理15,No.2,267--275(1995;Zbl 0879.03006) 全文: 内政部
胡克,J.N。;维奈,V。 可满足性的分支规则。 (英语) Zbl 0838.68098号 J.汽车。推理 15,第3期,359-383(1995).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Hooker}和\textit{V.Vinay},J.Autom。推理15,No.3,359--383(1995;Zbl 0838.68098) 全文: 内政部
弗拉赫,弗兰克 超大规模集成电路应用可满足性检查器中的简化。 (英语) Zbl 0783.94031号 J.汽车。推理 10,第1期,115-136(1993).MSC公司:94C12号机组 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Vlach},J.Autom。推理10,No.1,115--136(1993;Zbl 0783.94031) 全文: 内政部
佛朗哥·帕拉米奥;阿尔贝托,Policriti 集合论基本子语言的决策程序:XIII。模型图、反射和可判定性。 (英语) Zbl 0734.03006号 J.汽车。推理 7,第2期,271-284(1991).MSC公司:03B25号 1999年3月 PDF格式BibTeX公司 XML格式引用 \textit{F.Parlamento}和\textit{A.Policriti},J.Autom。推理7,No.2,271--284(1991;Zbl 0734.03006) 全文: 内政部
坎通纳,D。 集合论初等子语言的决策过程:X。由单值算子和幂集算子扩展的多级三段论。 (英语) Zbl 0734.03003号 J.汽车。推理 193-230年第2期第7期(1991年).MSC公司:03B25号 1999年3月 03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone},J.Autom。推理7,No.2,193--230(1991;Zbl 0734.03003)