米哈伊尔·里巴科夫;德米特里·什卡托夫 部分准谓词逻辑的不可判定性。 (英语) Zbl 1494.03076号 日志。J.IGPL公司 30,第3号,519-533(2022).MSC公司:03B70号 03B25号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{M.Rybakov}和\textit{D.Shkatov},Log。J.IGPL 30,编号3,519--533(2022;Zbl 1494.03076) 全文: 内政部
吉多·菲奥里诺 非子句的新表刻画最大SAT问题。 (英语) 兹比尔1494.03074 日志。J.IGPL公司 30,编号3,422-436(2022).MSC公司:03B70号 03财年03 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{G.菲奥里诺},日志。J.IGPL 30,编号3,422--436(2022;Zbl 1494.03074) 全文: 内政部
米克尔波菲尔;Joan Espasa女士;马图·维拉雷特 放松平行计划中的不干涉要求。 (英语) Zbl 1523.68090号 日志。J.IGPL公司 29,编号1,45-71(2021).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bofill}等人,日志。J.IGPL 29,编号1,45-71(2021;兹bl 1523.68090) 全文: 内政部
吉列尔莫·德伊塔;马西亚尔·罗梅罗,J.雷蒙多;Hernández-Servín,J.A。 求解#2SAT的自下而上算法。 (英语) 兹比尔1497.68357 日志。J.IGPL公司 28,第6期,1130-1140(2020).MSC公司:68兰特 68兰特 68周05 PDF格式BibTeX公司 XML格式引用 \textit{G.De Ita}等人,日志。J.IGPL 28,第6期,1130--1140(2020;Zbl 1497.68357) 全文: 内政部
米哈伊尔·里巴科夫;德米特里·什卡托夫 有限多变量命题动态逻辑的复杂性和表达性。 (英语) Zbl 1492.03013号 日志。J.IGPL公司 26,第5期,539-547(2018).MSC公司:03B70号 03B45号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Rybakov}和\textit{D.Shkatov},Log。J.IGPL 26,第5号,539--547(2018;Zbl 1492.03013) 全文: 内政部 arXiv公司
玛丽亚姆·阿比里;莫蒂扎·莫尼里;穆斯塔法扎雷 在直觉谓词逻辑的克里普克模型中,从强制到满足。 (英语) Zbl 1492.03003号 日志。J.IGPL公司 26,第5期,464-474(2018).MSC公司:03秒20 03C25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Abiri}等人,《日志》。J.IGPL 26,第5号,464--474(2018;Zbl 1492.03003) 全文: 内政部
菲利普·巴尔比亚尼;乔丹·根瑟;扎费尔·奥兹德米尔 接触逻辑中的两个决策问题。 (英语) Zbl 1494.03072号 日志。J.IGPL公司 27,第1号,8-32(2018).MSC公司:03B60号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}等人,Log。J.IGPL 27,第1、8-32号(2018年;Zbl 1494.03072) 全文: 内政部 哈尔
麦亚斯普尔;瓦伦丁·戈兰科;德米特里·什卡托夫 多智能体认知逻辑的基于表的决策过程,所有联合算子用于公共和分布式知识。 (英语) Zbl 1277.68254号 日志。J.IGPL公司 第3期第21期,第407-437页(2013年).MSC公司:68T27型 03B35型 03B42型 第68页第15页 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{M.Ajspur}等人,《日志》。J.IGPL 21,第3期,407--437(2013;Zbl 1277.68254) 全文: 内政部 arXiv公司
朱宾斯基,马钦 具有受限模态上下文的多智能体系统的逻辑复杂性。 (英语) Zbl 1277.68255号 日志。J.IGPL公司 21,第3期,355-379(2013).MSC公司:68T27型 03B45号 03B62号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{M.Dziubiánski},日志。J.IGPL 21,第3期,355--379(2013;Zbl 1277.68255) 全文: 内政部
亨利克斯,D。;比斯卡亚,M。;巴尔塔扎尔,P。;马特乌斯,P。 随机系统的(ω)-正则性质的可判定性和复杂性。 (英语) 兹比尔1277.68218 日志。J.IGPL公司 20,第6期,1175-1201(2012).MSC公司:87年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Henriques}等人,Log。J.IGPL 20,第6期,1175--1201(2012;Zbl 1277.68218) 全文: 内政部
何兴兴;刘军;徐,杨;路易斯·马丁内斯;阮,达 有限格值命题逻辑中的α-可满足性及其α-锁分解。 (英语) Zbl 1257.03036号 日志。J.IGPL公司 20,第3期,579-588(2012).MSC公司:03B35型 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{X.He}等人,Log。J.IGPL 20,第3期,579--588(2012;Zbl 1257.03036) 全文: 内政部
谢尔盖·巴本尼舍夫;弗拉基米尔·里巴科夫 克里普克元模型的逻辑。 (英语) Zbl 1216.03035号 日志。J.IGPL公司 18,第6期,823-836(2010).MSC公司:03B45号 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{S.Babenyshev}和\textit{V.Rybakov},Log。J.IGPL 18,第6号,823--836(2010;Zbl 1216.03035) 全文: 内政部 链接
罗伯特·考恩 广义Davis-Putnam与数学中的可满足性问题。 (英语) Zbl 1205.03025号 日志。J.IGPL公司 18,第3期,456-463(2010).MSC公司:03B35型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{R.Cowen},日志。J.IGPL 18,第3号,456--463(2010;Zbl 1205.03025) 全文: 内政部
阿尔塔夫·侯赛因 区间的最小混合逻辑。 (英语) Zbl 1102.03013号 日志。J.IGPL公司 14,第1期,35-62(2006).MSC公司:03B44号 03B25号 2015年3月1日 2017年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Hussain},日志。J.IGPL 14,No.1,35--62(2006;Zbl 1102.03013) 全文: 内政部 链接
劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 动态线性时间时序逻辑中的动作推理。 (英语) Zbl 0979.03015号 日志。J.IGPL公司 9,第2期,273-287(2001). 审核人:贾科莫·博纳诺(戴维斯) MSC公司:03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人,日志。J.IGPL 9,第2号,273--287(2001;Zbl 0979.03015) 全文: 内政部 链接
马尔滕·马克思;米库拉斯,萨博尔斯 产品,或如何创建高复杂性的模态逻辑。 (英语) Zbl 0971.03024号 日志。J.IGPL公司 9,第1期,71-82(2001).MSC公司:03B45号 2015年3月1日 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.马克思}和\textit{S.米库拉斯},Log。J.IGPL 9,第1期,第71--82页(2001年;Zbl 0971.03024) 全文: 内政部 链接
瑟伦·里斯;米拉·西塔拉姆 使用谓词逻辑和对称群生成硬同义词。 (英语) Zbl 0967.03012号 日志。J.IGPL公司 8,第6号,787-795(2000). 审核人:U.Schöning(乌尔姆) MSC公司:03B35型 20层03 2017年第68季度 03C13号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Riis}和\textit{M.Sitharam},日志。J.IGPL 8,第6号,787--795(2000;Zbl 0967.03012) 全文: 内政部 链接
阿雷塞斯,卡洛斯;帕特里克·布莱克本;马尔滕·马克思 混合时序逻辑的计算复杂性。 (英语) Zbl 0959.03011号 日志。J.IGPL公司 8,第5期,653-679(2000).MSC公司:03B44号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{C.Areces}等人,日志。J.IGPL 8,第5号,653--679(2000;Zbl 0959.03011) 全文: 内政部
伊恩·霍洛克斯;乌尔里克·萨特勒;托比斯,斯蒂芬 非常富有表现力的描述逻辑的实用推理。 (英语) Zbl 0967.03026号 日志。J.IGPL公司 8,第3期,239-263(2000). 审核人:扬·谢夫拉内克(布拉迪斯拉发) MSC公司:03B70号 68立方英尺 03B42型 第68页第15页 03B35型 68T27型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{I.Horrocks}等人,日志。J.IGPL 8,第3号,239--263(2000;Zbl 0967.03026) 全文: 内政部 链接