丹尼尔·德·卡瓦略 线性逻辑中的泰勒展开是可逆的。 (英语) Zbl 1509.03164号 日志。方法计算。科学。 14,第4号,第21号论文,73页(2018年).MSC公司:03楼52 PDF格式BibTeX公司 XML格式引用 \textit{D.de Carvalho},日志。方法计算。科学。14,第4号,第21号论文,73页(2018;Zbl 1509.03164) 全文: 内政部 arXiv公司
费利克斯·巴斯切尼斯;奥利维·高文;安卡·穆斯科尔;加布里埃尔,小狗 双向文字传感器的单向可定义性。 (英语) Zbl 1404.68065号 日志。方法计算。科学。 14,第4号,第22号论文,54页(2018年).MSC公司:65年第68季度 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Baschenis}等人,日志。方法计算。科学。14,第4号,第22号论文,54页(2018;Zbl 1404.68065) 全文: 内政部 arXiv公司
伊恩·奥尔顿;安德鲁·皮特斯(Andrew M.Pitts)。 拓扑中立方体类型理论建模的公理。 (英语) Zbl 1509.03054号 日志。方法计算。科学。 14,第4号,第23号论文,33页(2018年).MSC公司:03B38型 03G30型 18对25 55单位40 PDF格式BibTeX公司 XML格式引用 \textit{I.Orton}和\textit{A.M.Pitts},Log。方法计算。科学。14,第4号,第23号论文,33页(2018;Zbl 1509.03054) 全文: 内政部 arXiv公司
汉斯·德·尼维尔 三值几何分辨率的包含算法。 (英语) Zbl 1405.68318号 日志。方法计算。科学。 14,第4号,第24号论文,29页(2018年).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{H.de Nivelle},日志。方法计算。科学。14,第4号,第24号论文,29页(2018;Zbl 1405.68318) 全文: 内政部 arXiv公司
安东尼娅·莱切纳;理查德·迈尔;约尔·瓦克宁;阿默里·波利;詹姆斯·沃雷尔 模型检查平面冻结单计数器自动机上的LTL。 (英语) Zbl 1405.68187号 日志。方法计算。科学。 14,第4号,第20号论文,21页(2018年).MSC公司:60年第68季度 03B25号 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Lechner}等人,日志。方法计算。科学。14,第4号,第20号论文,21页(2018;Zbl 1405.68187) 全文: 内政部 arXiv公司
托马斯·普莱斯 用两个量词交替分隔正规语言。 (英语) Zbl 1528.03173号 日志。方法计算。科学。 14,第4号,第16号论文,58页(2018年).MSC公司:05年3月 03B10号机组 2015年3月15日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Place},日志。方法计算。科学。14,第4号,第16号论文,58页(2018;Zbl 1528.03173) 全文: 内政部 arXiv公司
米克尔·汉森;金·古德斯特兰·拉森;拉杜·马达尔;马蒂亚斯·拉加德·佩德森 关于加权转移系统中边界的推理。 (英语) Zbl 1528.68253号 日志。方法计算。科学。 14,第4号,第19号论文,32页(2018年).MSC公司:68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hansen}等人,《日志》。方法计算。科学。14,第4号,第19号论文,32页(2018;Zbl 1528.68253) 全文: 内政部 arXiv公司
乔治·巴奇;乔瓦尼·巴奇;Larsen,Kim G。;拉杜·马达尔 马尔可夫链上双相似距离的完整定量推导系统。 (英语) Zbl 1409.68182号 日志。方法计算。科学。 14,第4号,第15号论文,29页(2018年).MSC公司:68问题85 03B70型 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,日志。方法计算。科学。14,第4号,第15号论文,29页(2018;Zbl 1409.68182) 全文: 内政部 arXiv公司
安娜·索科洛娃;哈拉尔德·沃切克 分布凸集中的终止。 (英语) Zbl 1400.68146号 日志。方法计算。科学。 14,第4号,第17号论文,28页(2018年).MSC公司:87年第68季度 18B20型 18个C20 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Sokolova}和\textit{H.Woracek},日志。方法计算。科学。14,第4号,第17号论文,28页(2018;Zbl 1400.68146) 全文: 内政部 arXiv公司
雷文莎·拉马纳亚克 诱导索引嵌套序列的句法剪切消除。 (英语) Zbl 1528.03235号 日志。方法计算。科学。 14,第4号,第18号论文,25页(2018年).MSC公司:05年3月 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.Ramanayake},日志。方法计算。科学。14,第4号,第18号论文,25页(2018;Zbl 1528.03235) 全文: 内政部 arXiv公司
Forejt,Vojtěch公司;彼得·扬查尔;斯特凡·基弗;詹姆斯·沃雷尔 概率双相似度的博弈特征及其在下推自动机中的应用。 (英语) Zbl 1407.68252号 日志。方法计算。科学。 14,第4号,第13号论文,25页(2018年).MSC公司:65年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Forejt}等人,日志。方法计算。科学。14,第4号,第13号论文,25页(2018;Zbl 1407.68252) 全文: 内政部 arXiv公司
迪米特里斯·莫斯特鲁斯;Vascoconcelos、Vasco Thudichum 仿射会话。 (英语) Zbl 1407.68338号 日志。方法计算。科学。 14,第4号,第14号论文,21页(2018年).MSC公司:68问题85 03B70型 PDF格式BibTeX公司 XML格式引用 \textit{D.Mostrous}和\textit{V.T.Vasconcelos},Log。方法计算。科学。14,第4号,第14号论文,21页(2018;Zbl 1407.68338) 全文: 内政部 arXiv公司
约翰·费恩利;拉胡尔·萨瓦尼 全交换机策略改进的复杂性。 (英语) Zbl 1402.68089号 日志。方法计算。科学。 14,第4号,第9号论文,第57页(2018).MSC公司:65年第68季度 2017年第68季度 68周05 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{J.Fearnley}和\textit{R.Savani},Log。方法计算。科学。14,第4号,第9号文件,第57页(2018年;Zbl 1402.68089) 全文: 内政部 arXiv公司
内兹,L。;博托鲁西。;西安西亚,V。;M.洛雷蒂。;马森克,M。 利用SSTL对时空特性进行定性和定量监测。 (英语) Zbl 1448.68313号 日志。方法计算。科学。 14,第4号,第2号论文,38页(2018年).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Nenzi}等人,日志。方法计算。科学。14,第4号,第2号论文,38页(2018;Zbl 1448.68313) 全文: 内政部 arXiv公司
瓦斯科·布拉特卡;阿诺·保利 关于Weihrauch度的代数结构。 (英语) Zbl 1454.03053号 日志。方法计算。科学。 14,第4期,第4号论文,36页(2018年).MSC公司:03日30分 03D78号 03层60 PDF格式BibTeX公司 XML格式引用 \textit{V.Brattka}和\textit{A.Pauly},Log。方法计算。科学。14,第4期,第4号论文,36页(2018;Zbl 1454.03053) 全文: 内政部 arXiv公司
西蒙·多尔蒂;大卫·皮姆 直觉分层图逻辑:语义和证明理论。 (英语) Zbl 1454.03030号 日志。方法计算。科学。 14,第4号,第11号论文,第36页(2018).MSC公司:03B47号 03B20型 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{S.Docherty}和\textit{D.Pym},日志。方法计算。科学。14,第4号,第11号文件,第36页(2018;兹bl 1454.03030) 全文: 内政部 arXiv公司
伯特伦·费尔根豪尔 有效地确定基本项重写系统的合流性和正规形性质。 (英语) Zbl 1403.68105号 日志。方法计算。科学。 14,第4号,第7号论文,35页(2018年).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Felgenhauer},日志。方法计算。科学。14,第4号,第7号论文,35页(2018;Zbl 1403.68105) 全文: 内政部 arXiv公司
胜本、新雅;佐藤,铁杉;塔尔莫乌斯塔卢 单子及其对偶的Codensity提升。 (英语) Zbl 1398.18005号 日志。方法计算。科学。 14,第4号,第6号论文,31页(2018年). 审核人:Hirokazu Nishimura(筑波) MSC公司:18立方厘米 18天30分 PDF格式BibTeX公司 XML格式引用 \textit{S.-Y.Katsumata}等人,日志。方法计算。科学。14,第4号,第6号论文,31页(2018;Zbl 1398.18005) 全文: 内政部 arXiv公司
克什蒂吉·班萨尔;克拉克·巴雷特;安德鲁·雷诺兹;塞萨尔·蒂内利 SMT中具有有限集和基数约束的推理。 (英语) Zbl 1403.68044号 日志。方法计算。科学。 14,第4号,第12号论文,31页(2018年).MSC公司:68第05页 03B70型 PDF格式BibTeX公司 XML格式引用 \textit{K.Bansal}等人,Log。方法计算。科学。14,第4号,第12号论文,31页(2018;Zbl 1403.68044) 全文: 内政部 arXiv公司
摩西·加纳迪;斯特凡·格勒;马库斯·洛伊 有限系统上互模拟和仿真的复杂性。 (英语) Zbl 1402.68092号 日志。方法计算。科学。 14,第4号,第5号论文,第29页(2018).MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Ganardi}等人,日志。方法计算。科学。14,第4号,第5号论文,29页(2018;Zbl 1402.68092) 全文: 内政部 arXiv公司
阿诺·阿夫隆;科恩、利隆 集合最小计算理论中的应用数学。 (英语) Zbl 1454.03064号 日志。方法计算。科学。 14,第4号,第1号论文,29页(2018年).MSC公司:03E30年 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron}和\textit{L.Cohen},Log。方法计算。科学。14,第4号,第1号论文,29页(2018;Zbl 1454.03064) 全文: 内政部 arXiv公司
纳迪亚·克里诺;莱因哈德·皮克勒;斯特凡·沃尔特兰 在Krom片段中,与SAT相关的硬推理任务变得更容易了吗? (英语) Zbl 1403.68078号 日志。方法计算。科学。 14,第4号,第10号论文,25页(2018年).MSC公司:65年第68季度 03B05号 03B70型 PDF格式BibTeX公司 XML格式引用 \textit{N.Creignou}等人,日志。方法计算。科学。14,第4号,第10号论文,25页(2018;Zbl 1403.68078) 全文: 内政部 arXiv公司
本杰明·基尔;马蒂娜·塞德尔;汉斯·托姆皮茨;阿明·比尔 SAT中的局部冗余:阻塞子句的泛化。 (英语) Zbl 1403.68239号 日志。方法计算。科学。 14,第4号,第3号论文,23页(2018年).MSC公司:68T20型 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{B.Kiesl}等人,日志。方法计算。科学。14,第4号,第3号论文,23页(2018;Zbl 1403.68239) 全文: 内政部 arXiv公司
戴维·里纳尔迪;丹尼尔·韦塞尔 通过保护延伸。西科尔斯基定理。 (英语) Zbl 1454.03085号 日志。方法计算。科学。 14,第4号,第8号论文,17页(2018年).MSC公司:03层60 03财年03 05年6月 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{D.Rinaldi}和\textit{D.Wessel},日志。方法计算。科学。14,第4号,第8号论文,17页(2018;Zbl 1454.03085) 全文: 内政部 arXiv公司