亚历山大·韦内特;马丁·齐默尔曼 可见的线性动态逻辑。 (英语) Zbl 1400.68059号 西奥。计算。科学。 747, 100-117 (2018).MSC公司:68号30 03B44号 65年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Weinert}和\textit{M.Zimmermann},Theor。计算。科学。747100--117(2018;Zbl 1400.68059) 全文: DOI程序 arXiv公司 链接
尤金尼奥·莫吉;阿明·法朱迪安;亚当·杜拉茨;瓦利德·塔哈 混合系统的安全和鲁棒可达性分析。 (英语) Zbl 1400.68140号 西奥。计算。科学。 747, 75-99 (2018).MSC公司:68问题85 06B35号 18B20型 93B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.Moggi}等人,Theor。计算。科学。747,75-99(2018;Zbl 1400.68140) 全文: DOI程序 arXiv公司
阿尼塞特·巴特;贝诺·德拉哈耶;波林·福尼尔;莱姆,迪迪埃;埃里克·蒙弗罗伊;夏洛特·特鲁切特 使用约束的参数区间马尔可夫链的可达性。 (英语) Zbl 1400.68118号 西奥。计算。科学。 747, 48-74 (2018).MSC公司:60年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bart}等人,Theor。计算。科学。747、48-74(2018年;Zbl 1400.68118) 全文: DOI程序 arXiv公司
小岛贤介;Minoru Kinoshita;Kohei Suenaga公司 基于模板的高效非线性不变综合的广义齐次多项式。 (英语) Zbl 1401.68044号 西奥。计算。科学。 747, 33-47 (2018).MSC公司:68号30 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{K.Kojima}等人,Theor。计算。科学。747,33-47(2018年;兹比尔1401.68044) 全文: DOI程序 arXiv公司
胜须石井 (lambda\beta\eta)-演算最左约简定理的证明。 (英语) Zbl 1436.03105号 西奥。计算。科学。 747, 26-32 (2018).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \发短信{K.Ishii},Theor。计算。科学。747,26-32(2018;Zbl 1436.03105) 全文: DOI程序
克里斯蒂安·马特;尤利·莫雷尔;克里斯托弗·波特曼;Renner,雷纳托;比约恩·塔克曼 走向系统的代数理论。 (英语) Zbl 1400.68136号 西奥。计算。科学。 747, 1-25 (2018).MSC公司:68问题85 93B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Matt}等人,Theor。计算。科学。747,1--25(2018;Zbl 1400.68136) 全文: DOI程序 arXiv公司