《理论计算机科学》第474卷
第474卷,2013年2月
贝特里斯·贝拉德 , 弗兰克·卡塞兹 , 谢尔盖·哈达德 , 迪迪埃·莱姆 , 奥利维尔·H·鲁克斯 :
时间Petri网的表达能力。 1-20 巴勃罗·巴塞洛 , 胡安·雷乌特 , 列奥尼德·利布金 :
参数化正则表达式及其语言。 21-45 丹尼尔·盖因 :
用构造函数进行逻辑插值。 46-59 萨米尔·吉纳伊姆 , 达米亚诺·扎纳尔迪尼 :
通过抽象解释进行基于可达性的非循环性分析。 60-79 皮埃尔·莱斯坎 :
计算非类型lambda项时。 80-97 戴尔·米勒 , 伊莱恩·皮门特尔 :
用于指定顺序演算证明系统的形式化框架。 98-116