瓦伦蒂娜·卡斯蒂格利奥尼;丹尼尔·格布勒;西蒙·蒂尼 基于SOS的非确定性概率过程的模态分解。 (英语) Zbl 1448.68333号 日志。方法计算。科学。 14,第2号,第18号论文,51页(2018).MSC公司:68问题85 03B45号 68问题55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Castiglioni}等人,日志。方法计算。科学。14,第2号,第18号论文,51页(2018;Zbl 1448.68333) 全文: 内政部 arXiv公司
威廉·康雷迪;萨利赫·杜尔汗;圭多·西亚维科 线性阶上点和区间的综合一阶理论。一、。 (英语) 兹比尔1453.03013 日志。方法计算。科学。 14,第2号,第15号论文,40页(2018年).MSC公司:03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}等人,日志。方法计算。科学。14,第2号,第15号论文,40页(2018;Zbl 1453.03013) 全文: 内政部 arXiv公司
佩特尔·巴蒂亚尼;卡里姆·努尔 (lambda\mu\rho\theta)-演算的约简序列长度的估计。 (英语) Zbl 1453.03007号 日志。方法计算。科学。 14,第2号,第17号论文,35页(2018年).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{P.Battyányi}和\textit{K.Nour},Log。方法计算。科学。14,第2号,第17号论文,35页(2018;Zbl 1453.03007) 全文: 内政部 arXiv公司
大卫·布雷索林;埃米利奥·穆尼奥斯·韦拉斯科;圭多·西亚维科 模态逻辑的子命题片段。 (英语) Zbl 1453.03016号 日志。方法计算。科学。 14,第2号,第16号论文,35页(2018年).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,《日志》。方法计算。科学。14,第2号,第16号文件,第35页(2018;兹bl 1453.03016) 全文: 内政部 arXiv公司
帕诺斯·朗多吉安尼;艾奥娜·西梅尼杜 带否定的高阶逻辑程序的扩展语义。 (英语) Zbl 1398.68083号 日志。方法计算。科学。 14,第2号,第19号论文,24页(2018年).MSC公司:68N17号 03B15号机组 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Rondogiannis}和\textit{I.Symeonidou},日志。方法计算。科学。14,第2号,第19号论文,24页(2018;Zbl 1398.68083) 全文: 内政部 arXiv公司
艾克·诺依曼;马丁·佩普;托马斯·斯特里彻 基本量子力学中的可计算性。 (英语) Zbl 1451.18016号 日志。方法计算。科学。 14,第2号,第14号论文,20页(2018年). 审核人:Hirokazu Nishimura(筑波) MSC公司:18 C50 03天78 81页第10页 PDF格式BibTeX公司 XML格式引用 \textit{E.Neumann}等人,《日志》。方法计算。科学。14,第2号,第14号论文,20页(2018;Zbl 1451.18016) 全文: 内政部 arXiv公司
克里斯托夫·福奎雷;夸特里尼,米里亚姆 通过可视路径研究行为。 (英语) Zbl 1476.03084号 日志。方法计算。科学。 14,第2号,第7号论文,47页(2018年).MSC公司:第03页 PDF格式BibTeX公司 XML格式引用 \textit{C.Foukeré}和\textit{M.Quatrini},Log。方法计算。科学。14,第2号,第7号文件,第47页(2018年;Zbl 1476.03084) 全文: 内政部 arXiv公司
阿克西,S。;保罗·加斯丁;克里希纳,Shankara Narayanan 使用树自动机分析定时系统。 (英语) Zbl 1398.68290号 日志。方法计算。科学。 14,第2号,第8号论文,35页(2018年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人,日志。方法计算。科学。14,第2号,第8号论文,35页(2018;Zbl 1398.68290) 全文: 内政部 arXiv公司
JiříAdamek;斯特凡·米利厄斯;海宁·乌尔巴特 句法幺半群的范畴方法。 (英语) Zbl 1476.68158号 日志。方法计算。科学。 14,第2号,第9号论文,34页(2018年).MSC公司:70年第68季度 18日第15天 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{J.Adamek}等人,日志。方法计算。科学。14,第2号,第9号论文,34页(2018年;Zbl 1476.68158) 全文: 内政部 arXiv公司
默多克·J·加贝。 分层集的语言是合流的和强正规化的。 (英语) Zbl 1476.68120号 日志。方法计算。科学。 14,第2号,第12号论文,34页(2018年).MSC公司:2012年第68季度 03B70号 03E70型 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay},日志。方法计算。科学。14,第2号,第12号论文,34页(2018;Zbl 1476.68120) 全文: 内政部 arXiv公司
曼纽尔·博迪尔斯基;安托万·莫特特 一元结构一阶约简的二分法。 (英语) Zbl 1476.03041号 日志。方法计算。科学。 14,第2号,第13号论文,31页(2018年).MSC公司:03C15号 2017年第68季度 08A40号 08A70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}和\textit{A.Mottet},日志。方法计算。科学。14,第2号,第13号论文,31页(2018;Zbl 1476.03041) 全文: 内政部 arXiv公司
哈拉尔国王;乌韦·沃尔特 Van Kampen结肠炎和路径唯一性。 (英语) Zbl 1404.18005号 日志。方法计算。科学。 14,第2号,第5号论文,27页(2018年). 审核人:基·罗西克(布尔诺) MSC公司:18岁30岁 18B99型 PDF格式BibTeX公司 XML格式引用 \textit{H.König}和\textit{U.Wolter},Log。方法计算。科学。14,第2号,第5号文件,第27页(2018年;Zbl 1404.18005) 全文: 内政部 arXiv公司
亚历山大·卡兹达 \(n)-置换性和线性数据日志意味着对称数据日志。 (英语) Zbl 1476.68107号 日志。方法计算。科学。 14,第2号,第3号论文,24页(2018年).MSC公司:2017年第68季度 08A70号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Kazda},日志。方法计算。科学。14,第2号,第3号论文,24页(2018;Zbl 1476.68107) 全文: 内政部 arXiv公司
邹志伟;李庆国;Ho,翁金 通过近似运算符的域。 (英语) Zbl 1476.06006号 日志。方法计算。科学。 14,第2号,第6号论文,17页(2018年).MSC公司:06B35号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zou}等人,日志。方法计算。科学。14,第2号,第6号论文,17页(2018;Zbl 1476.06006) 全文: 内政部 arXiv公司
科普钦斯基,Eryk;托尼·谭 关于二元关系一阶谱的注记。 (英语) Zbl 1476.03037号 日志。方法计算。科学。 14,第2号,第4号论文,第15页(2018年).MSC公司:03C13号机组 2015年3月1日 03B10号机组 2017年第68季度 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Kopczyñski}和\textit{T.Tan},Log。方法计算。科学。14,第2号,第4号论文,15页(2018;Zbl 1476.03037) 全文: 内政部 arXiv公司
阿诺·保利;威廉·福凯;乔治·戴维 Weihrauch-分层计算的完备性。 (英语) 兹比尔1459.03069 日志。方法计算。科学。 14,第2号,第11号论文,第15页(2018年).MSC公司:03天78 03天32分 03层60 PDF格式BibTeX公司 XML格式引用 \textit{A.Pauly}等人,Log。方法计算。科学。14,第2号,第11号论文,第15页(2018;Zbl 1459.03069) 全文: 内政部 arXiv公司
赵东生;徐,罗山 基于Scott闭集格的有向完备偏序集的唯一性。 (英语) Zbl 1459.06005号 日志。方法计算。科学。 14,第2号,第10号论文,第12页(2018年).MSC公司:06B35号 06B30号 PDF格式BibTeX公司 XML格式引用 \textit{D.Zhao}和\textit{L.Xu},Log。方法计算。科学。14,第2号,第10号论文,第12页(2018;Zbl 1459.06005) 全文: 内政部 arXiv公司
卡斯滕·罗西尼克·努格鲍尔 闭集及其上的算子:表示、可计算性和复杂性。 (英语) Zbl 1426.03027号 日志。方法计算。科学。 14,第2号,第1号论文,41页(2018年). 审核人:吉列尔莫·莫拉莱斯·卢纳(墨西哥) MSC公司:03天78 2015年3月1日 03天45分 PDF格式BibTeX公司 XML格式引用 \textit{C.Rösnick-Neugebauer},日志。方法计算。科学。14,第2号,第1号论文,41页(2018;Zbl 1426.03027) 全文: 内政部 arXiv公司
Mio、Matteo;Micha Skrzypczak;Henryk Michalewski 带有度量和类别量词的一元二阶逻辑。 (英语) Zbl 1459.03054号 日志。方法计算。科学。 14,第2期,第2号论文,29页(2018年).MSC公司:03C80号 03B16号 05年3月 03C85号 03E15年 PDF格式BibTeX公司 XML格式引用 \textit{M.Mio}等人,日志。方法计算。科学。14,第2期,第2号论文,29页(2018;Zbl 1459.03054) 全文: 内政部 arXiv公司