编辑配置文件（在新选项卡中打开） 西崎、信叶 合著者距离 作者ID： 西崎县 发布日期： 西崎、信叶;西崎新亚 已编制索引的文档： 7出版物自1991年起 3作为编辑的贡献 合著者： 13位合著者具有6联合出版物 196位合作作者 全部的 前5名合著者 4 单作者的 三 杰米·D·L·卡罗。 三 沼茂，Masayuki 三 梅林·特奥多西亚·C·苏亚雷斯。 2 Masami Hagiya 2 山本三郎 1 Shigeki Hagihara 1 小林直树 1 Etsuya Shibayama 1 高桥，Koichi 1 铁雄县塔迈 1 Taura、Kenjiro 1 Yozo Toda 1 渡边，Takuo 系列 1 京都大学数学科学研究所出版物 1 计算机程序设计科学 1 RIMS Kokyuroku公司 1 高阶和符号计算 字段 10 计算机科学（68至XX） 三 总体主题；集合（00-XX） 三 数学逻辑和基础（03-XX） 1 组合数学（05-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用6中的次6文件 引用人▼ 年份▼ 平面图的形式化。 Zbl 1063.68661号 山本三郎;西崎、信叶;Hagiya，Masami;Yozo Toda 三 1995 多态环境演算及其类型引用算法。 Zbl 0972.68030号 西崎新亚 2 2000 带有延续和线性逻辑的程序。 Zbl 1493.68060号 西崎新亚 1 1991 多态环境演算及其类型引用算法。 Zbl 0972.68030号 西崎新亚 2 2000 平面图的形式化。 Zbl 1063.68661号 山本三郎;西崎、信叶;Hagiya，Masami;Yozo Toda 三 1995 带有延续和线性逻辑的程序。 Zbl 1493.68060号 西崎新亚 1 1991 所有引用的出版物 前5名被引用出版物 全部的 前5名6位作者引用 三 Jean-François Dufourd 1 弗兰兹·阿赫尔曼 1 小林聪 1 奥斯卡·尼尔斯特拉斯。 1 碧姬·品特卡 1 弗朗索瓦·普伊特 引用于2个系列 4 理论计算机科学 1 自动推理杂志 在3个字段中引用 6 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 范畴理论；同调代数（18-XX） 按年份列出的引文