zbMATH参考文献（参考 11篇文章

1. Kobayashi，Naoki；Lago，Ugo-Dal；Grellois，Charles:关于概率高阶递归程序的终止问题（2020）
2. Asada，Kazuyuki；Kobayashi，Naoki；Sin'ya，Ryoma；Tsukada，Takeshi：几乎每一个简单的（\lambda）术语都有一个长的（\beta）缩减序列（2019年）
3. Kobayashi，Naoki：非确定性递归程序方案的前沿语言和Dyck语言之间的包含是不可判定的（2019年）
4. Ong，C.-H.Luke:（\lambda）微积分的自动机、逻辑和游戏（2017）
5. Sato，Ryosuke；Kobayashi，Naoki:高阶函数程序的模块化验证（2017）
6. Sin'ya，Ryoma；Asada，Kazuyuki；Kobayashi，Naoki；Tsukada，Takeshi：几乎每个简单类型（\lambda）术语都有一个较长的（\beta）缩减序列（2017年）
7. 铃木，Ryota；Fujima，Koichi；Kobayashi，Naoki；Tsukada，Takeshi：高阶递归方案的Streett自动机模型检查（2017）
8. Pham，Tuan Hung；Gacek，Andrew；Whalen，Michael W.：关于代数数据类型的抽象推理（2016）
9. Terao，Taku；Tsukada，Takeshi；Kobayashi，Naoki：直接式高阶模型检验（2016）
10. Yasukata，Kazuhide；Tsukada，Takeshi；Kobayashi，Naoki：具有动态资源创建的高阶并发程序验证（2016）
11. Kuwahara，Takuya；Sato，Ryosuke；Unno，Hiroshi；Kobayashi，Naoki:谓词抽象和高阶函数程序终止的CEGAR（2015）