《理论计算机科学》第750卷
第750卷,2018年11月
金·拉森 , 伊戈尔·波塔波夫 , 吉尔·斯尔巴 :
可达性问题:特殊问题。 1 山姆·A·M·琼斯 , 理查德·托马斯 :
组词问题:形式语言、特征和可判定性。 2-23 马修·黑格 , 安东尼·W·林 :
具有递归并行性的集成操作程序的可确定模型。 24-37 托马斯·格夫罗伊 , 杰罗姆·勒鲁 , 格雷戈伊尔·苏特雷 :
Occam的剃刀应用于Petri网覆盖问题。 38-52 阿德里安·勒科恩特 , 劳伦特·弗里堡 , 尼古拉斯·马基 , 弗洛里安·德·维斯特 , 卢多维克·查莫因 :
状态相关开关控制的合成。 53-68 娜塔莎·阿列奇纳 , Nils斗牛 , 斯特凡·德姆里 , 布莱恩·洛根 :
关于资源约束逻辑的复杂性。 69-100 艾克·贝斯特 , 托马斯·胡贾萨 , 哈罗·威梅尔 :
标记转移系统标记图可实现的充分条件。 101-116