理论计算机科学,第747卷
第747卷,2018年11月
克里斯蒂安·马特 , 于利·毛雷尔 , 克里斯托弗·波特曼 , 雷纳托·雷纳 , 比约恩·塔克曼 :
朝向系统的代数理论。 1-25 石井胜须 :
最左约简定理的一个证明 λβη -微积分。 26-32 小岛贤介 , Minoru Kinoshita公司 , Kohei Suenaga公司 :
基于模板的高效非线性不变综合的广义齐次多项式。 33-47 阿尼塞特·巴特 , 贝诺·特·德拉哈耶 , 保林·福尼尔 , 迪迪埃·莱姆 , 埃里克·蒙弗罗伊 , 夏洛特·特鲁切特 :
参数区间马尔可夫链中使用约束的可达性。 48-74 尤金尼奥·莫吉 , 阿明·法朱迪安 , 亚当·杜拉茨 , 瓦利德·塔哈 :
混合系统的安全和鲁棒可达性分析。 75-99 亚历山大·韦内特 , 马丁·齐默尔曼 :
可见的线性动态逻辑。 100-117
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)