苏拉吉·巴特;约翰·博格斯特罗姆;安德鲁·戈登。;克劳迪奥·拉索 从概率函数程序中导出概率密度函数。 (英语) Zbl 1398.68084号 日志。方法计算。科学。 13,第2号,第16号论文,32页(2017年).MSC公司:68甲18 68甲19 68N20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bhat}等人,日志。方法计算。科学。13,第2号,第16号文件,第32页(2017年;兹bl 1398.68084) 全文: 内政部
克里希南德·查特吉;祖扎纳Křetínská;简·Křetínsk 统一马尔可夫决策过程中对多个平均值目标的两种观点。 (英语) Zbl 1448.68280号 日志。方法计算。科学。 13,第2号,第15号论文,50页(2017年).MSC公司:第68季度55 87年第68季度 90立方厘米 91A40型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,日志。方法计算。科学。13,第2号,第15号论文,50页(2017;Zbl 1448.68280) 全文: 内政部
塞巴斯蒂安·恩奎斯特;塞凡·法特梅;维尼马,伊德 余代数模态计算的一个表示完备性定理。 (英语) Zbl 1448.03013号 日志。方法计算。科学。 13,第2号,第14号论文,50页(2017年).MSC公司:03B45号 03B16号 03B70号 05年3月 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{S.Enqvist}等人,日志。方法计算。科学。13,第2号,第14号论文,50页(2017;Zbl 1448.03013) 全文: 内政部 arXiv公司
乔治·巴奇;乔瓦尼·巴奇;Larsen,Kim G。;拉杜·马达尔 实时计算双相似距离。 (英语) Zbl 1398.68375号 日志。方法计算。科学。 13,第2号,第13号论文,25页(2017年).MSC公司:87年第68季度 60J27型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,日志。方法计算。科学。13,第2号,第13号论文,25页(2017;Zbl 1398.68375) 全文: 内政部 arXiv公司
陈子纯;马里亚纽拉州Dezani-Ciancaglini;阿尔切斯特·斯卡拉斯;吉田、Nobuko 会话类型中子类型的精确性。 (英语) Zbl 1398.68360号 日志。方法计算。科学。 13,第2号,第12号论文,61页(2017年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.-C.Chen}等人,Log。方法计算。科学。13,第2号,第12号论文,61页(2017;Zbl 1398.68360) 全文: 内政部 arXiv公司
迈克尔·利伯曼;罗西克,吉伊 通过可访问的图像进行Hanf编号。 (英语) Zbl 1448.03022号 日志。方法计算。科学。 13,第2号,第11号论文,第15页(2017年).MSC公司:03C48号 03C95号 03元52分 18立方厘米 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{M.利伯曼}和\textit{J.罗西克},Log。方法计算。科学。13,第2号,第11号论文,15页(2017;Zbl 1448.03022) 全文: 内政部 arXiv公司
罗宾·赫希;布雷特·麦克莱恩 不交并部分代数。 (英语) Zbl 1448.08001号 日志。方法计算。科学。 13,第2号,第10号论文,31页(2017年).MSC公司:08A55号 08A02号 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{R.Hirsch}和\textit{B.McLean},Log。方法计算。科学。13,第2号,第10号文件,第31页(2017年;Zbl 1448.08001) 全文: 内政部 arXiv公司
Severi,Paula,宝拉;卢卡·帕多瓦尼;埃米利奥·托斯托;马里亚纽拉州Dezani-Ciancaglini 关于会话和无限数据。 (英语) Zbl 1448.68211号 日志。方法计算。科学。 13,第2号,第9号论文,39页(2017年).MSC公司:68甲18 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Severi}等人,日志。方法计算。科学。13,第2号,第9号论文,39页(2017;Zbl 1448.68211) 全文: 内政部 arXiv公司
大卫·巴尔德;斯特凡尼德劳恩;卢卡赫希 用于确定跟踪等价性的简化语义。 (英语) Zbl 1448.68326号 日志。方法计算。科学。 13,第2号,第8号论文,48页(2017年).MSC公司:68问题85 60年第68季度 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{D.Baelde}等人,日志。方法计算。科学。13,第2号,第8号论文,48页(2017;Zbl 1448.68326) 全文: 内政部 arXiv公司
奥拉夫·拜尔斯多夫;勒罗伊·周;米纳·马哈扬;阿尼尔·舒克拉 QBF分辨率计算的可行插值。 (英语) Zbl 1448.68456号 日志。方法计算。科学。 13,第2号,第7号论文,20页(2017年).MSC公司:68伏15 03B35型 20层03 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}等人,《日志》。方法计算。科学。13,第2号,第7号论文,20页(2017年;Zbl 1448.68456) 全文: 内政部
雅各布斯,巴特 状态和效果三角形的配方。 (英语) Zbl 1448.68220号 日志。方法计算。科学。 13,第2号,第6号论文,26页(2017年).MSC公司:68纳米30 18A40型 68甲15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs},日志。方法计算。科学。13,第2号,第6号论文,26页(2017;Zbl 1448.68220) 全文: 内政部
斯特凡·舒尔泽·弗里林豪斯;迈克尔·彼特;赫尔穆特·塞德尔 过程间双变量Herbrand等式。 (英语) Zbl 1398.68098号 日志。方法计算。科学。 13,第2号,第5号论文,40页(2017年).MSC公司:68纳米30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Schulze Frielinghaus}等人,日志。方法计算。科学。13,第2号,第5号论文,40页(2017;Zbl 1398.68098) 全文: 内政部 arXiv公司
朱利安·纳格尔;伯特伦·费尔根豪尔;哈拉尔德·赞克 通过相对终止和规则标记证明汇流证明。 (英语) Zbl 1398.68485号 日志。方法计算。科学。 13,第2号,第4号论文,27页(2017年).MSC公司:68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Nagele}等人,日志。方法计算。科学。13,第2号,第4号论文,27页(2017;Zbl 1398.68485) 全文: 内政部 arXiv公司
汉斯·鲍斯特。 半可加变种中的Hopf代数和李代数。 (英语) Zbl 1397.08005号 日志。方法计算。科学。 13,第2号,第3号论文,第13页(2017年).MSC公司:08B99号 2008年2月25日 08C05号机组 2016年第05期 17B60型 18B99型 18日第10天 PDF格式BibTeX公司 XML格式引用 \textit{H.-E.Porst},日志。方法计算。科学。13,第2号,第3号论文,第13页(2017;Zbl 1397.08005) 全文: 内政部 arXiv公司
克劳德·苏里森 次可计算的Schnorr随机性。 (英语) Zbl 1448.03032号 日志。方法计算。科学。 13,第2期,第2号论文,32页(2017年).MSC公司:03天32分 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{C.Sureson},日志。方法计算。科学。13,第2期,第2号论文,32页(2017;Zbl 1448.03032) 全文: 内政部 arXiv公司
米拉·达拉·普雷达;毛里齐奥·加布里埃利;萨维里奥·贾勒伦佐;伊万·拉内斯;雅各布·毛罗 动态编舞:理论与实施。 (英语) Zbl 1398.68088号 日志。方法计算。科学。 13,第2号,第1号论文,57页(2017年).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.D.Preda}等人,日志。方法计算。科学。13,第2号,第1号论文,57页(2017;Zbl 1398.68088) 全文: 内政部 arXiv公司