奥里·拉哈夫;尤尼·佐哈尔 从子公式性质到命题序列计算中的割可容许性。 (英语) Zbl 1444.03162号 J.日志。计算。 28,第6号,1341-1366(2018).MSC公司:05年3月 PDF格式BibTeX公司 XML格式引用 \textit{O.Lahav}和\textit{Y.Zohar},J.Log。计算。28,第6号,1341---1366(2018;Zbl 1444.03162) 全文: 内政部 链接
洛伦兹·德米 计算亚里士多德图族的最大布尔复杂性。 (英语) 兹比尔1444.03112 J.日志。计算。 28,第6期,1323-1339(2018).MSC公司:03B70号 03立方厘米35 03B45号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{L.Demey},J.Log。计算。28,第6号,1323--1339(2018;Zbl 1444.03112) 全文: 内政部 链接
尼古拉·安吉乌斯;朱塞佩·普里米埃罗 计算人工制品的身份和复制逻辑。 (英语) Zbl 1444.03002号 J.日志。计算。 28,第6号,1293-1322(2018).MSC公司:03A05号 03年10月 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Angius}和\textit{G.Primiero},J.Log。计算。28,编号61293-1322(2018;兹bl 1444.03002) 全文: 内政部 链接
安东尼奥·迪·诺拉;拉彭塔,塞拉菲纳;爱荷华州卢什坦 无限逻辑和基本断开的紧凑Hausdorff空间。 (英语) Zbl 1444.03088号 J.日志。计算。 28,第6期,1275-1292(2018).MSC公司:03B50号 03C75号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{A.Di Nola}等人,J.Log。计算。28,第6号,1275--1292(2018;Zbl 1444.03088) 全文: 内政部 arXiv公司
乔治·马格里 关于Tesar(2014)输出驱动理论中语音相似性的注释。 (英语) Zbl 1417.91427号 J.日志。计算。 28,第6号,1243-1274(2018).MSC公司:91层20 91E40型 PDF格式BibTeX公司 XML格式引用 \textit{G.Magri},J.Log。计算。28、第6号、1243——1274(2018;Zbl 1417.91427) 全文: 内政部 链接
煎炸,伊曼纽尔;弗洛里安·佩卢佩西;西尔维娅·斯特拉;Keita横山 SCT坚固性的强度。 (英语) Zbl 1445.03009号 J.日志。计算。 28,第6期,1217-1242(2018).MSC公司:03B30型 35楼03号 10年5月 PDF格式BibTeX公司 XML格式引用 \textit{E.Frittaion}等人,J.Log。计算。28,编号61217-1242(2018;兹bl 1445.03009) 全文: 内政部 arXiv公司
杰勒德·拉瓦莱特(Gerard R.Renardel de Lavalette)。 命题霍恩逻辑中的插值。 (英语) Zbl 1444.03127号 J.日志。计算。 28,第6期,1189-1215(2018).MSC公司:03C40号 03B05号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.R.Renardel de Lavalette},J.Log。计算。28,第6号,1189--1215(2018;Zbl 1444.03127) 全文: 内政部 链接
阿诺德·贝克曼;Preining,诺伯特 哥德尔逻辑的超自然演绎——一个用于并行推理的自然演绎系统。 (英语) Zbl 1444.03094号 J.日志。计算。 28,第6期,1125-1187(2018).MSC公司:03B52号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Beckmann}和\textit{N.Preining},J.Log。计算。28,第6号,1125--1187(2018;Zbl 1444.03094) 全文: 内政部
伊戈尔·杜文;汉斯·罗特 从概率到分类信念:超越玩具模型。 (英语) Zbl 1444.03027号 J.日志。计算。 28,第6号,1099-1124(2018).MSC公司:03B42号 03A05号 03B48号 60A05型 PDF格式BibTeX公司 XML格式引用 \textit{I.Douven}和\textit{H.Rott},J.Log。计算。28,第61099-1124号(2018年;兹bl 1444.03027) 全文: 内政部 链接
塞巴斯蒂安·恩奎斯特 具有逆向模态的平面模态不动点逻辑。 (英语) Zbl 1444.03051号 J.日志。计算。 28,第6号,1065-1097(2018).MSC公司:03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Enqvist},J.Log。计算。28,编号61065-1097(2018;兹bl 1444.03051) 全文: 内政部 arXiv公司
格里戈里·奥尔霍维科夫。 证明公告的Stit逻辑:一个完整的结果。 (英语) Zbl 1444.03034号 J.日志。计算。 28,第6期,1031-1064(2018).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{G.K.Olkhovikov},J.Log。计算。28,第6号,1031--1064(2018;Zbl 1444.03034) 全文: 内政部 arXiv公司
李建文;浦、葛光;张丽君;莫舍·瓦尔迪。;何继峰 通过SAT求解器加速LTL可满足性检查。 (英语) Zbl 1410.68235号 J.日志。计算。 28,第6号,1011-1030(2018).MSC公司:60年第68季度 03B44号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Li}等人,J.Log。计算。28,第6号,1011--1030(2018;Zbl 1410.68235) 全文: 内政部
塞巴斯蒂安·恩奎斯特;苏米特·苏拉布 Stone空间上余代数的相互模拟。 (英语) Zbl 1444.03186号 J.日志。计算。 28,第6期,991-1010(2018).MSC公司:03G30型 03B45号 2015年6月 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Enqvist}和\textit{S.Sourabh},J.Log。计算。28,第6号,991--1010(2018;Zbl 1444.03186) 全文: 内政部 arXiv公司