《理论计算机科学》第732卷
第732卷,2018年7月
亚历山大·布隆丁弥撒 , 朱利安·德·卡鲁费尔 , 阿兰·古比尔 , 梅洛迪·拉波因特 , 埃米尔·纳多 , 爱丽丝·范多姆 :
叶实现问题,毛虫图和前缀正常单词。 1-13 Martijn van Ee公司 , 雷内·西特斯 :
多目标图搜索的近似性和复杂性以及加拿大旅行者问题。 14-25 创音党 , 银鱼叶 :
组件排序下扩展Tarski不动点问题的复杂性。 26-45 格雷厄姆·法尔 , Nhan Bao河 :
Nim和Silver Dollar游戏的一些近似析取和的Sprague-Grundy函数。 46-59 Sándor Vágvölgyi :
可识别树语言的后代,用于带有位置切割策略的前缀约束线性单子项重写。 60-72 米歇尔·德金 :
语言同态嵌入到整数中的Frobenius问题。 73-79 埃里克·D·德曼 , 米哈伊尔·鲁多伊 :
一个简单的证明( n个 2 - 1) -拼图很难。 80-84 维萨·哈拉瓦 , Tero Harju公司 , 埃萨·萨赫拉 :
关于理性转导的不动点。 85-88