麻糬

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