编辑配置文件(在新选项卡中打开) Kazuya Yaguchi 合著者距离 作者ID: 野谷佳彦 发布日期: Kazuya Yaguchi 已编制索引的文档: 2出版物自2012年起 合著者: 4位合著者具有2联合出版物 174位合作作者 合著者 0 单作者的 2 直纪小林 2 Ayumi Shinohara 1 松田和川 1 武田,Kotaro 系列 1 高阶和符号计算 字段 2 计算机科学(68-XX) 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用5中的次4文件 引用人▼ 年份▼ 功能程序作为压缩数据。 Zbl 1360.68332号 直纪小林;松田和川;Ayumi Shinohara;Yaguchi、Kazuya 4 2012 简单类型lambda-terms的紧凑位编码方案。 Zbl 1361.68051号 武田,Kotaro;直纪小林;Kazuya Yaguchi;Ayumi Shinohara 1 2016 简单类型lambda-terms的紧凑位编码方案。 Zbl 1361.68051号 武田,Kotaro;直纪小林;Kazuya Yaguchi;Ayumi Shinohara 1 2016 功能程序作为压缩数据。 Zbl 1360.68332号 直纪小林;松田和川;Ayumi Shinohara;Kazuya Yaguchi 4 2012 全部的 前5名7位作者引用 2 马库斯·洛伊 1 伊萨穆·福鲁亚 1 摩西·加纳迪 1 哈克,丹尼 1 Takuya Kida 1 赤马森田 1 埃里克·诺思 3篇连载文章中引用 1 算法 1 函数编程杂志 1 算法 在2个字段中引用 4 计算机科学(68-XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文