安娜贝拉·麦克维尔;卡罗尔·摩根;塔希里·拉贝哈加 抽象隐马尔可夫模型:定量信息流的一元描述。 (英语) Zbl 1423.68107号 日志。方法计算。科学。 15,第1号,第36号论文,50页(2019年).MSC公司:68纳米30 60J20型 68页30 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.McIver}等人,日志。方法计算。科学。15,第1号,第36号论文,50页(2019年;Zbl 1423.68107) 全文: 内政部 arXiv公司
迪米特·斯科尔德夫 表示空间的莫斯科瓦基扩张。 (英语) Zbl 1515.03198号 日志。方法计算。科学。 15,第1号,第35号论文,21页(2019年).MSC公司:03D78号 03D75号 PDF格式BibTeX公司 XML格式引用 \textit{D.Skordev},日志。方法计算。科学。15,第1号,第35号论文,21页(2019年;Zbl 1515.03198) 全文: 内政部 arXiv公司
Janičić,普雷德拉格;菲利普·马里奇;马尔科·马利科维奇 有限域上组合猜想的计算机辅助证明:一个国际象棋猜想的案例研究。 (英语) Zbl 1515.03060号 日志。方法计算。科学。 15,第1号,第34号论文,37页(2019年).MSC公司:03B35型 68伏15 91A46型 PDF格式BibTeX公司 XML格式引用 \textit{P.Janić}等人,《日志》。方法计算。科学。15,第1号,第34号论文,37页(2019年;Zbl 1515.03060) 全文: 内政部 arXiv公司
阿兰·杰弗里;詹姆斯·里利 在稀薄的空气中阅读:朝向放松记忆的事件结构模型。 (英语) Zbl 1423.68311号 日志。方法计算。科学。 15,第1号,第33号论文,第25页(2019年).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeffrey}和\textit{J.Riely},Log。方法计算。科学。15,第1号,第33号文件,第25页(2019年;Zbl 1423.68311) 全文: 内政部 arXiv公司
大卫·雷特(David J.Reutter)。;杰米·维卡里 量子网络的经典广群模型。 (英语) Zbl 1423.68057号 日志。方法计算。科学。 15,第1号,第32号论文,28页(2019年).MSC公司:68M10个 20号02 68个M12 81页68 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Reutter}和\textit{J.Vicary},Log。方法计算。科学。15,第1号,第32号论文,28页(2019年;Zbl 1423.68057) 全文: 内政部 arXiv公司
Dariusz Biernacki;塞尔盖·伦格利特;彼得·波列修克 证明伸展正常形态双相似性的可靠性。 (英语) Zbl 1421.68011号 日志。方法计算。科学。 15,第1号,第31号论文,24页(2019年).MSC公司:68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Biernacki}等人,《日志》。方法计算。科学。15,第1号,第31号论文,24页(2019年;Zbl 1421.68011) 全文: 内政部 arXiv公司
塞巴斯蒂安·恩奎斯特;维尼马,伊德 选言基础:模态逻辑的范式和模型理论。 (英语) Zbl 1439.03044号 日志。方法计算。科学。 15,第1号,第30号论文,41页(2019年).MSC公司:03B45号 03B70号 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Enqvist}和\textit{Y.Venema},日志。方法计算。科学。15,第1号,第30号论文,41页(2019年;Zbl 1439.03044) 全文: 内政部 arXiv公司
哈德良·安德拉迪;Ho,翁金 拓扑斯科特收敛定理。 (英语) Zbl 1415.54001号 日志。方法计算。科学。 15,第1号,第29号论文,第14页(2019). 审核人:汉斯·彼得·昆齐(Rondebosch) MSC公司:54A20型 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{H.Andradi}和\textit{W.K.Ho},日志。方法计算。科学。15,第1号,第29号论文,第14页(2019年;Zbl 1415.54001) 全文: 内政部 arXiv公司
阿伦斯,贝内迪克特 约简规则的初始语义。 (英语) 兹比尔1421.68013 日志。方法计算。科学。 15,第1号,第28号论文,第45页(2019年).MSC公司:68纳米30 18立方厘米 18 C50 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens},日志。方法计算。科学。15,第1号,第28号论文,45页(2019年;Zbl 1421.68013) 全文: 内政部 arXiv公司
西蒙·多尔蒂;大卫·皮姆 分离逻辑的石头型对偶。 (英语) Zbl 1432.03046号 日志。方法计算。科学。 15,第1号,第27号论文,51页(2019年).MSC公司:03B70号 03B20型 03G25号 06年50月 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Docherty}和\textit{D.Pym},日志。方法计算。科学。15,第1号,第27号论文,51页(2019年;Zbl 1432.03046) 全文: arXiv公司
弗朗西斯科·达尼诺 Coaxioms:推理系统的灵活共导定义。 (英语) Zbl 1432.68251号 日志。方法计算。科学。 15,第1号,第26号论文,48页(2019年).MSC公司:68问题55 03B35型 03B70号 07年3月 06B23号 PDF格式BibTeX公司 XML格式引用 \textit{F.Dagnino},日志。方法计算。科学。15,第1号,第26号论文,48页(2019年;Zbl 1432.68251) 全文: arXiv公司
奥列格·维尔比茨基;马克西姆·朱可夫斯基 关于诱导子图同构的一阶复杂性。 (英语) Zbl 1432.03049号 日志。方法计算。科学。 15,第1号,第25号论文,第24页(2019年).MSC公司:03C13号机组 05C60型 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Verbitsky}和\textit{M.Zhukovskii},日志。方法计算。科学。15,第1号,第25号论文,24页(2019年;Zbl 1432.03049) 全文: arXiv公司
白瑞特·格鲁伊恩 使用模块分解捕获多项式时间。 (英语) Zbl 1411.68045号 日志。方法计算。科学。 15,第1号,第24号论文,38页(2019年). 审核人:格雷戈里·洛伦·麦科姆(坦帕) MSC公司:19年第68季度 03B70号 03C13号机组 05C60型 2015年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.Grußien},日志。方法计算。科学。15,第1号,第24号论文,38页(2019年;Zbl 1411.68045) 全文: arXiv公司
马塞尔·欧内 网络空间和全球网络空间:领域理论的拓扑方面。 (英语) Zbl 1476.54030号 日志。方法计算。科学。 15,第1号,第23号论文,38页(2019年). 审核人:Esteban Induraín(潘普洛纳) MSC公司:54个F05 30楼06号 PDF格式BibTeX公司 XML格式引用 \textit{M.Erné},日志。方法计算。科学。15,第1号,第23号论文,38页(2019年;Zbl 1476.54030) 全文: arXiv公司
Tatsuji Kawai;乔瓦尼·桑宾 无点连续性原理。 (英语) Zbl 1432.03129号 日志。方法计算。科学。 15,第1号,第22号论文,第25页(2019年).MSC公司:03层60 2012年2月6日 54二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{T.Kawai}和\textit{G.Sambin},日志。方法计算。科学。15,第1号,第22号文件,第25页(2019年;Zbl 1432.03129) 全文: arXiv公司
巴勃罗,卡诺尼斯;鲍里斯·科普夫;简·雷内克 关于缓存算法在定时泄漏方面的不可比性。 (英语) Zbl 1489.68045号 日志。方法计算。科学。 15,第1号,第21号论文,第19页(2019年).MSC公司:68平方米25 2007年7月68日 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{P.Cañones}等人,《日志》。方法计算。科学。15,第1号,第21号论文,19页(2019年;Zbl 1489.68045) 全文: arXiv公司
阿伦斯,贝内迪克特;彼得·勒法努·卢姆斯代恩 显示的类别。 (英语) Zbl 1419.18001号 日志。方法计算。科学。 15,第1号,第20号论文,第18页(2019年). 审核人:马可·贝尼尼(布奇纳斯科) MSC公司:18甲15 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}和\textit{P.Lefanu Lumsdaine},Log。方法计算。科学。15,第1号,第20号论文,第18页(2019年;Zbl 1419.18001) 全文: arXiv公司
德米特里·奇斯蒂科夫;沃伊切赫,切尔文斯基;彼得·霍夫曼;Micha Pilipczuk;迈克尔,维哈尔 单计数器系统中的最短路径。 (英语) 兹比尔1407.68249 日志。方法计算。科学。 15,第1号,第19号论文,28页(2019年).MSC公司:65年第68季度 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{D.Chistikov}等人,《日志》。方法计算。科学。15,第1号,第19号论文,28页(2019年;Zbl 1407.68249) 全文: arXiv公司
西蒙·卡斯特伦;皮埃尔·克莱兰堡;格林·温斯克尔 具有对称性和并发Hyland-Ong游戏的瘦游戏。 (英语) 兹比尔1407.68099 日志。方法计算。科学。 15,第1号,第18号论文,85页(2019年).MSC公司:68纳米30 18日第15天 68问题55 68问题85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Castellan}等人,日志。方法计算。科学。15,第1号,第18号论文,85页(2019年;Zbl 1407.68099) 全文: arXiv公司
托马斯·布伦戈斯;马可·佩雷索蒂 定时系统的行为等效性。 (英语) Zbl 1407.68331号 日志。方法计算。科学。 15,第1号,第17号论文,41页(2019年).MSC公司:68问题85 18B20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brengos}和\textit{M.Peressotti},日志。方法计算。科学。15,第1号,第17号论文,41页(2019年;Zbl 1407.68331) 全文: arXiv公司
浅田和树;小林直树;龙马Sin'ya;津田,武士 几乎每个简单类型的\(\lambda \)-项都有一个长\(\beta \)-约简序列。 (英语) Zbl 1486.68031号 日志。方法计算。科学。 15,第1号,第16号论文,57页(2019年).MSC公司:68甲18 03B40型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Asada}等人,日志。方法计算。科学。15,第1号,第16号论文,57页(2019年;Zbl 1486.68031) 全文: arXiv公司
威廉·康雷迪;亚历山德拉·帕尔米吉亚诺;赵志光 通过翻译实现Sahlqvist。 (英语) 兹伯利1515.03091 日志。方法计算。科学。 15,第1号,第15号论文,第35页(2019年).MSC公司:03B45号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}等人,日志。方法计算。科学。15,第1号,第15号论文,35页(2019年;Zbl 1515.03091) 全文: arXiv公司
米歇尔·博雷尔 代数、余代数和多项式微分方程中的最小化。 (英语) 兹比尔1486.68110 日志。方法计算。科学。 15,第1号,第14号论文,27页(2019年).MSC公司:68问题85 第13页第15页 34A34飞机 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Boreale},日志。方法计算。科学。15,第1号,第14号论文,27页(2019年;Zbl 1486.68110) 全文: arXiv公司
奥拉夫·拜尔斯多夫;乔舒亚·布林霍恩;卢克·欣德 大小、成本和容量:硬随机QBF的语义技术。 (英语) Zbl 1515.03213号 日志。方法计算。科学。 15,第1号,第13号论文,39页(2019年).MSC公司:20层03 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}等人,《日志》。方法计算。科学。15,第1号,第13号论文,39页(2019年;Zbl 1515.03213) 全文: arXiv公司
洛伦佐·克莱门特;理查德·迈尔 通过语言包含测试应用程序有效减少非确定性自动机。 (英语) Zbl 1515.68159号 日志。方法计算。科学。 15,第1号,第12号论文,73页(2019年).MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Clemente}和\textit{R.Mayr},Log。方法计算。科学。15,第1号,第12号文件,73页(2019;兹bl 1515.68159) 全文: arXiv公司
安德烈·布拉托夫;彼得·迈尔;阿涅斯·森德雷 具有立方体项的有限代数的次幂隶属度问题。 (英语) Zbl 1515.08004号 日志。方法计算。科学。 15,第1号,第11号论文,48页(2019年).MSC公司:08A70号 08A30型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bulatov}等人,日志。方法计算。科学。15,第1号,第11号论文,48页(2019年;Zbl 1515.08004) 全文: arXiv公司
阿尔伯特·阿塞里亚斯;JoséL.Balcázar。;玛丽·伊利·皮切诺 概率含义之间的相对蕴涵。 (英语) Zbl 1515.68297号 日志。方法计算。科学。 15,第1号,第10号论文,第30页(2019年).MSC公司:68T27型 03B20型 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{A.Atserias}等人,日志。方法计算。科学。15,第1号,第10号论文,30页(2019年;Zbl 1515.68297) 全文: arXiv公司
诺姆·齐尔伯格 半关联定律的后继演算。 (英语) Zbl 1515.03223号 日志。方法计算。科学。 15,第1号,第9号论文,23页(2019年).MSC公司:第03页 05年3月 03B40型 06A07年 PDF格式BibTeX公司 XML格式引用 \textit{N.Zeilberger},日志。方法计算。科学。15,第1号,第9号论文,23页(2019年;Zbl 1515.03223) 全文: arXiv公司
波拉·塞韦利 递归的轻量级形式。 (英语) Zbl 1486.68034号 日志。方法计算。科学。 15,第1号,第8号论文,32页(2019年).MSC公司:68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{P.Severi},日志。方法计算。科学。15,第1号,第8号文件,第32页(2019年;Zbl 1486.68034) 全文: arXiv公司
罗伯特·加尼安;彼得·赫林;雅罗斯拉夫·内舍特伊尔;Obdr zalek,简;帕特丽斯·奥斯纳·德门德斯 灌木深度:捕捉密集图形的高度。 (英语) Zbl 1515.03150号 日志。方法计算。科学。 15,第1号,第7号论文,第25页(2019年).MSC公司:03C13号机组 05C75号 03B16号 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{R.Ganian}等人,日志。方法计算。科学。15,第1号,第7号论文,25页(2019年;Zbl 1515.03150) 全文: arXiv公司
贝内代托·恩特里吉拉;朱利奥·曼佐内托;安德鲁·波伦斯基 Böhm树理论和Sallé猜想中的可拓度。 (英语) Zbl 1515.03066号 日志。方法计算。科学。 15,第1号,第6号论文,36页(2019年).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{B.Intrigila}等人,日志。方法计算。科学。15,第1号,第6号论文,36页(2019年;Zbl 1515.03066) 全文: arXiv公司
阿德里亚娜·巴兰;亚历山大·库兹;吉·维勒比尔 将集函子扩展到广义度量空间。 (英语) Zbl 1408.18005号 日志。方法计算。科学。 15,第1号,第5号论文,57页(2019年). 审核人:Hirokazu Nishimura(筑波) MSC公司:18B35型 18D20天 PDF格式BibTeX公司 XML格式引用 \textit{A.Balan}等人,日志。方法计算。科学。15,第1号,第5号文件,第57页(2019年;Zbl 1408.18005) 全文: arXiv公司
埃里希·格雷德尔;马丁·格罗;贝内迪克特·帕戈;维德州帕库萨 关于命题证明复杂性的有限模型理论观点。 (英语) Zbl 1451.03023号 日志。方法计算。科学。 15,第1号,第4号论文,53页(2019年).MSC公司:03C13号机组 20层03 第68季度19 PDF格式BibTeX公司 XML格式引用 \textit{E.Grädel}等人,日志。方法计算。科学。15,第1号,第4号论文,53页(2019年;Zbl 1451.03023) 全文: arXiv公司
托马斯·埃哈德;克里斯汀·塔森 按推送值进行概率调用。 (英语) Zbl 1509.68041号 日志。方法计算。科学。 15,第1号,第3号论文,46页(2019年).MSC公司:68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.Ehrhard}和\textit{C.Tasson},日志。方法计算。科学。15,第1号,第3号论文,46页(2019年;Zbl 1509.68041) 全文: 内政部 arXiv公司
伊恩·奥尔顿;安德鲁·皮特斯(Andrew M.Pitts)。 基于摩尔路径的类型理论模型。 (英语) Zbl 1509.03055号 日志。方法计算。科学。 15,第1号,第2号论文,24页(2019年).MSC公司:03B38型 03G30型 18对25 55单位35 PDF格式BibTeX公司 XML格式引用 \textit{I.Orton}和\textit{A.M.Pitts},Log。方法计算。科学。15,第1号,第2号论文,24页(2019年;Zbl 1509.03055) 全文: 内政部 arXiv公司
德克斯特·科岑 作为重写规则和单子组合的自然转换。 (英语) Zbl 1405.68160号 日志。方法计算。科学。 15,第1号,第1篇论文,第12页(2019年).MSC公司:第68季度第42季度 18A23型 18A40型 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.Kozen},日志。方法计算。科学。15,第1号,第1篇论文,第12页(2019年;Zbl 1405.68160) 全文: 内政部 arXiv公司