阿吉思·冈纳;特拉维斯·斯克里姆肖 边缘标记表的晶体和可积系统。 (英语) Zbl 1519.05250号 最小Sémin。洛萨。梳子。 86B,第61条,第12页(2022年).MSC公司:2010年5月 2015年1月5日 PDF格式BibTeX公司 XML格式引用 \textit{A.Gunna}和\textit{T.Scrimshaw},塞敏。洛萨。梳子。86B,第61条,第12页(2022;Zbl 1519.05250) 全文: 链接
马特乌斯·克洛诺夫斯基;Krawczyk、Krzysztof Aleksander;皮埃塔,博埃纳 认知位置逻辑表系统。 (英语) Zbl 07682094号 牛市。第节。日志。,大学后勤部。 第50期,第2期,第177-204页(2021年).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{M.Klonowski}等人,公牛。第节。日志。,大学后勤部。50,编号2177-204(2021;兹bl 07682094) 全文: 内政部
马明辉 一些亚直觉逻辑的标签表系统。 (英语) Zbl 1472.03017号 日志。Univers大学。 13,第2号,273-288(2019).MSC公司:03B45号 03秒20 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{M.Ma},日志。Univers大学。13,No.2,273--288(2019;Zbl 1472.03017) 全文: 内政部
多罗塔·莱斯琴斯卡·贾西翁;马特乌斯·伊格纳扎克;希蒙·克莱博夫斯基 具有切割规则的Rasiowa-Sikorski演绎系统:案例研究。 (英语) Zbl 1494.03068号 螺柱日志。 107,第2期,313-349(2019).MSC公司:03B53号 05年3月 03B22号 PDF格式BibTeX公司 XML格式引用 \textit{D.Leszczyñska-Jasion}等人,研究日志。107,No.2,313--349(2019;Zbl 1494.03068) 全文: 内政部
艾伦·J·凯恩。;安东尼奥·马赫罗;法比奥·M·席尔瓦。 耐心排序算法的幺半群。 (英语) Zbl 1515.20307号 国际代数计算杂志。 29,第1号,85-125(2019).MSC公司:20立方米 2005年5月20日 65年第68季度 05年5月5日 05年05月05日 19年5月 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Cain}等人,《国际代数计算》。29,第1号,85-125(2019年;Zbl 1515.20307) 全文: 内政部 arXiv公司
威廉·汉森。 实用主义、严肃的实用主义和量化的模态逻辑。 (英语) Zbl 1403.03031号 圣母院J.形式逻辑 59,第2期,233-284(2018). 审核人:David Makinson(伦敦) MSC公司:03B45号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hanson},圣母院J.形式逻辑59,No.2,233--284(2018;Zbl 1403.03031) 全文: 内政部
约翰·斯泰尔。;雷娜特·施密特(Renate A.Schmidt)。;大卫·赖德海尔 双教学模式逻辑:基础和自动化。 (英语) Zbl 1359.03018号 J.日志。代数。方法计划。 85,第4号,500-519(2016). 审核人:雅罗斯拉夫·什兰科(Kryvyi Rih) MSC公司:03B44号 03B45号 03B35型 03秒20 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Stell}等人,J.Log。代数。方法计划。85,No.4,500--519(2016;Zbl 1359.03018) 全文: 内政部
西尼亚迪,彼得 Robinson-Schensted-Knuth算法、jeu de taquin和Kerov-Vershik在无限表上的度量。 (英语) Zbl 1300.60025号 SIAM J.离散数学。 28,第2期,598-630(2014).MSC公司:60二氧化碳 2010年5月 20立方 20立方英寸 37A05型 PDF格式BibTeX公司 XML格式引用 \textit{P.Śniady},SIAM J.离散数学。28,第2号,598--630(2014;Zbl 1300.60025) 全文: 内政部 arXiv公司
乔安娜·戈林斯卡·皮拉雷克;或者鄂尔多斯卡 单体三角模逻辑MTL的对偶表。 (英语) Zbl 1216.03045号 模糊集系统。 162,第1期,39-52(2011). 审核人:米夏·巴钦斯基(卡托维兹) MSC公司:03B52号 PDF格式BibTeX公司 XML格式引用 \textit{J.Golin ska-Pilarek}和\textit{E.Orłowska},模糊集系统。162,编号1,39-52(2011;Zbl 1216.03045) 全文: 内政部
罗斯·托马斯·布雷迪 自由语义。 (英语) Zbl 1207.03029号 J.菲洛斯。日志。 39,第5期,511-529(2010).MSC公司:03B47号 PDF格式BibTeX公司 XML格式引用 \textit{R.T.Brady},J.Philos。日志。39,第5号,511--529(2010;Zbl 1207.03029) 全文: 内政部
科瓦奇、斯雷奇科 一阶信念与超一致性。 (英语) Zbl 1190.03029号 日志。日志。菲洛斯。 18,第2期,127-143(2009).MSC公司:03B53号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kovač},日志。日志。菲洛斯。18,编号2127-143(2009年;兹bl 1190.03029)
多米尼克·拉切·温德林(Dominique Larchey-Wendling);迪迪埃·加米歇 探索直觉BI和布尔BI之间的关系:意外的嵌入。 (英语) Zbl 1169.03024号 数学。结构。计算。科学。 第3期,第19期,第435-500页(2009年).MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Larchey-Wendling}和\textit{D.Galmiche},数学。结构。计算。科学。19,编号3,435-500(2009年;兹bl 1169.03024) 全文: 内政部
达戈斯蒂诺,马塞洛;马塞洛·芬格;Dov Gabbay公司 基于切割的绑架。 (英语) Zbl 1156.03032号 日志。J.IGPL公司 16,第6期,537-560(2008).MSC公司:03B70号 07年3月 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.D'Agostino}等人,日志。J.IGPL 16,第6号,537--560(2008;Zbl 1156.03032) 全文: 内政部 链接
Järvisalo,马蒂;埃米利亚·奥伊卡里宁 常规逻辑程序中的扩展ASP表和规则冗余。 (英语) 兹比尔1156.68011 理论与实践。日志。程序。 8,编号5-6,691-716(2008).MSC公司:68N17号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Järvisalo}和\textit{E.Oikarinen},理论与实践。日志。程序。8,编号5--6,691--716(2008;Zbl 1156.68011) 全文: 内政部
米尔贾纳IsakovićIlić 子结构逻辑的定理证明器。 (英语) Zbl 1199.03003号 出版物。数学研究所。,努夫。Sér。 82(96), 55-78 (2007). 审核人:佐兰·佩特里奇(贝尔格莱德) MSC公司:03B35型 03B05号 03秒20 03B47号 05年3月 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.IsakovićIlić},出版物。数学研究所。,没有。Sér。82(96),55-78(2007年;兹bl 1199.03003) 全文: 内政部 欧洲DML
本杰明·麦凯 复杂几何的类似物。 (英语) Zbl 1214.35011号 J.隆德。数学。社会学,II。序列号。 76,第1期,16-40(2007). 审核人:本杰明·麦凯(科克) MSC公司:35英尺20英寸 PDF格式BibTeX公司 XML格式引用 \textit{B.McKay},J.Lond。数学。社会学,II。序列号。76,第1号,16--40(2007;Zbl 1214.35011) 全文: 内政部 arXiv公司
托马斯·博兰德;托本·布吕纳 基于表的混合逻辑决策过程。 (英语) Zbl 1122.03006号 J.日志。计算。 16,第6期,737-763(2006). 审核人:阿尔弗雷多·布里耶扎·穆尼兹(马拉加) MSC公司:03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{T.Bolander}和\textit{T.Braüner},J.Log。计算。16,第6号,737--763(2006;Zbl 1122.03006) 全文: 内政部
莫罗·加塔利 有限和物理模型。 (英语) Zbl 1091.03003号 圣母院J.形式逻辑 46,第4期,425-437(2005). 审核人:贾科莫·博纳诺(戴维斯) MSC公司:03B45号 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{M.Gattari},圣母院J.形式逻辑46,No.4,425--437(2005;Zbl 1091.03003) 全文: 内政部
路易吉·迪·拉西奥;安东尼奥·吉索尔菲 理性Pavelka逻辑的分级表。 (英语) Zbl 1084.03010号 《国际情报杂志》。系统。 20,第12号,1273-1285(2005).MSC公司:03B35型 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{L.Di Lascio}和\textit{A.Gisolfi},Int.J.Intell。系统。20,第12号,1273——1285(2005;Zbl 1084.03010) 全文: 内政部
安东内拉·桑顿;吉利奥拉·瓦格利尼 用于改进选择性μ演算中的模型检查的组成性和局部性。 (英语) Zbl 1083.68087号 科学。计算。程序。 54,编号2-3,291-311(2005).MSC公司:第68季度85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Santone}和\textit{G.Vaglini},科学。计算。程序。54,编号2--3,291--311(2005;Zbl 1083.68087) 全文: 内政部
福田,考里 Box-ball系统和Robinson-Schensted-Knuth通信。 (英语) Zbl 1042.05094号 代数J。梳子。 19,第1期,67-89(2004).MSC公司:2010年5月 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{K.Fukuda},J.Algebr。梳子。19,第1号,67--89(2004;Zbl 1042.05094) 全文: 内政部 arXiv公司
卡梅尔·阿迪;穆拉德·德巴比;小梅,穆罕默德 电子商务协议的新逻辑。 (英语) Zbl 1008.68047号 西奥。计算。科学。 291,第3期,223-283(2003).MSC公司:68第25页 PDF格式BibTeX公司 XML格式引用 \textit{K.Adi}等人,Theor。计算。科学。291,第3号,223--283(2003;Zbl 1008.68047) 全文: 内政部
阿卜杜勒瓦赫布·阿亚里;戴维·巴恩斯 演绎画面的高阶解释。 (英语) Zbl 0972.68509号 J.塞姆。计算。 第5号第31页,第487-520页(2001年).MSC公司:68甲18 03B35型 68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Ayari}和\textit{D.Basin},J.Symb。计算。31,第5号,487--520(2001;Zbl 0972.68509) 全文: 内政部 链接
奥尔纳·利希滕斯坦;阿米尔·普努利 命题时态逻辑:可决定性和完备性。 (英语) Zbl 1033.03009号 日志。J.IGPL公司 第8期,第1期,55-85页(2000年).MSC公司:03B44号 03年2月25日 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Lichtenstein}和\textit{A.Pnueli},日志。J.IGPL 8,编号1,55-85(2000年;Zbl 1033.03009) 全文: 内政部
赫莱梅德尼克,R.V。 线性和分支时间逻辑的应用。一种测试公式可满足性的算法。 (俄语。英文摘要) Zbl 1032.03510号 维斯特。尼日戈罗德。N.I.Lobachevskogo大学,材料模型。最佳方案。向上。 2000年,第1期,176-191(2000).MSC公司:03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.V.Khelemednik},韦斯特恩。尼日戈罗德。N.I.Lobachevskogo大学,材料模型。最佳方案。向上。2000年,第1期,176--191(2000;Zbl 1032.03510)
弗里德·斯托尔森堡 通过强大的模型生成在超平台中进行循环检测。 (英语) Zbl 0961.68119号 加州大学洛杉矶分校 5,第3期,135-155(1999).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Stolzenburg},J.UCS 5,No.3,135--155(1999;Zbl 0961.68119) 全文: 链接
配件,梅尔文 一个简单的命题\(\text{S} 5个\)tableau系统。 (英语) Zbl 0972.03017号 Ann.纯粹应用。逻辑 96,编号1-3,107-115(1999). 审核人:V.Shekhtman(莫斯科) MSC公司:03B45号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fitting},Ann.纯应用。逻辑96,编号1--3,107-115(1999;Zbl 0972.03017) 全文: 内政部
汉斯·于尔根,奥尔巴赫;Dov Gabbay公司 日历逻辑。 (英语) Zbl 0930.03017号 J.应用。非类别。日志。 8,第4期,291-323(1998). 审核人:P.Materna(普拉哈) MSC公司:03B44号 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Ohlbach}和\textit{D.Gabbay},J.Appl。非类别。日志。8,第4号,291--323(1998;Zbl 0930.03017) 全文: 内政部
铃木、安仁 混合多模态逻辑定理证明器在术语重写系统CafeOBJ中的实现。 (英语) Zbl 0935.03020号 RIMS Kokyuroku公司 1021, 96-111 (1997).MSC公司:03B35型 03B45号 68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.铃木},RIMS Kokyuroku 1021,96--111(1997;Zbl 0935.03020)
普利乌什凯维奇乌斯,里贾曼塔斯 线性微型Horn-like时序逻辑的饱和表。 (英语) Zbl 0814.03008号 J.汽车。推理 13,第3号,391-407(1994).MSC公司:03B35型 03B45号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{R.Pliuškevičius},J.Autom(《汽车杂志》)。推理13,No.3,391--407(1994;Zbl 0814.03008) 全文: 内政部
Maleković,米尔科 关系数据库依赖的形式化系统的健全性:表演绎系统的应用。 (英语) Zbl 0861.68022号 J.计算。技术信息。第1卷第2期,第123-131页(1993年)。MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式
哈维尔·利奇;苏珊娜·尼娃 函数和数学用定理证明器的基础。 (英语) 兹比尔0798.68152 J.应用。非类别。日志。 3,第1期,7-38(1993).MSC公司:68吨15 03B35型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Leach}和\textit{S.Nieva},J.Appl。非类别。日志。3,编号1,7--38(1993;Zbl 0798.68152) 全文: 内政部
约尔格·胡德尔梅尔 直觉命题逻辑的(O(n\;\log\;n))空间决策过程。 (英语) 兹比尔0788.03010 J.日志。计算。 3,第1期,63-75(1993).MSC公司:03年2月25日 2015年3月1日 03秒20 第68季度25 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Hudelmaier},J.Log。计算。3,编号1,63--75(1993;Zbl 0788.03010) 全文: 内政部
安德烈·维尔利诺 分析表和SL分辨率的相对复杂性。 (英语) Zbl 0801.03010号 螺柱日志。 52,第2期,323-337(1993). 审核人:J.Šajda(布拉迪斯拉发) MSC公司:03B35型 20层03 PDF格式BibTeX公司 XML格式引用 \textit{A.Vellino},螺柱日志。52,第2号,323--337(1993;Zbl 0801.03010) 全文: 内政部
亚瑟·巴赫斯鲍姆;塔里西奥·佩奎诺 次协调逻辑的一种推理方法。 (英语) 兹伯利0796.03017 螺柱日志。 52,第2期,281-289(1993). 审核人:I.D’Ottaviano(坎皮纳斯) MSC公司:03B35型 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{A.Buchsbaum}和\textit{T.Pequeno},Stud.Log。52,第2号,281--289(1993;Zbl 0796.03017) 全文: 内政部
配件,Melvin C。;V.Wiktor马雷克;特鲁什琴斯基,米洛斯奥 纯粹的必然逻辑。 (英语) Zbl 0819.03011号 J.日志。计算。 2,第3期,349-373(1992).MSC公司:03B45号 03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Fitting}等人,J.Log。计算。2,第3号,349--373(1992;Zbl 0819.03011) 全文: 内政部
中村,亚基拉;高建明 关于KTB模态模糊逻辑。 (英语) Zbl 0754.03014号 模糊集系统。 45,第3期,327-334(1992). 审核人:S.Miura(冈崎/爱知) MSC公司:03B52号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Nakamura}和\textit{J.-M.Gao},模糊集系统。45,第3号,327--334(1992;Zbl 0754.03014) 全文: 内政部
朱利安·布拉德菲尔德;科林·斯特林 无限状态空间的局部模型检查。 (英语) Zbl 0747.68036号 西奥。计算。科学。 96,第1期,157-174(1992).MSC公司:第68季度第60季度 第68季度85 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Bradfield}和\textit{C.Stirling},Theor。计算。科学。96,第1号,157--174(1992;Zbl 0747.68036) 全文: 内政部
或者鄂尔多斯卡 三元关系逻辑中相关逻辑的解释。 (英语) Zbl 0716.03010号 牛市。第节。日志。,波兰。阿卡德。科学。 19,第2号,39-48(1990年). 审核人:S.Giambrone公司 MSC公司:03B47号 PDF格式BibTeX公司 XML格式引用 \文本{E.Orłowska},公牛。第节。逻辑,Pol。阿卡德。科学。19,第2号,39--48(1990;Zbl 0716.03010)
兰斯·克莱维兰 命题微积分中基于表的模型检验。 (英语) Zbl 0676.03033号 学报信息。 27,No.8,725-747(1990). 审核人:R.克利夫兰 MSC公司:07年3月 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Cleaveland},Acta Inf.27,No.8,725--747(1990;Zbl 0676.03033) 全文: 内政部
罗伯特·普罗克托(Robert A.Proctor)。 奇辛群。 (英语) 兹比尔06212.2009 发明。数学。 92,第2号,307-332(1988).MSC公司:第22页第15页 20G05年 17年5月 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Proctor},发明。数学。92,No.2,307--332(1988;Zbl 0621.22009) 全文: 内政部 欧洲DML 反向链接: 卫生官员
沃尔夫冈·劳滕贝格 模态表计算和插值。 (英语) Zbl 0547.03015号 J.菲洛斯。逻辑 12, 403-423 (1983). 审核人:W.卡尼埃利 MSC公司:03B45号 03C40 PDF格式BibTeX公司 XML格式引用 \textit{W.劳滕贝格},J.菲洛斯。日志。12、403--423(1983年;Zbl 0547.03015) 全文: 内政部