编辑配置文件(在新选项卡中打开) 川谷义彦 合著者距离 作者ID: kakutani.yoshihiko 发布日期: 川谷义彦 外部链接: MGP公司 已编制索引的文档: 13出版物自2001年起 合著者: 9合著者具有10联合出版物 87位合作作者 全部的 前5名合著者 三 单作者的 4 长谷川、Masahito 三 高弘久保田 2 加藤,走 2 川野康仁 2 大辅木村 1 尤伊托·穆拉斯 1 Yuichi Nishiwaki 1 樱田秀树 1 安田佳彦 系列 1 符号计算杂志 1 新一代计算 1 高阶和符号计算 1 计算机基础理论 字段 11 计算机科学(68-XX) 7 数学逻辑和基础(03-XX) 4 量子理论(81-XX) 2 范畴理论;同调代数(18-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 6出版物有被引用24中的次20文件 引用人▼ 年份▼ 按名称调用递归和按值调用迭代之间的对偶性。 Zbl 1021.03016号 川谷义彦 5 2002 正常模式逻辑中的按名称调用和按值调用。 Zbl 1138.68024号 Kakutani、Yoshihiko 5 2007 量子密码协议安全证明的半自动验证。 Zbl 1336.68164号 高弘久保田;川谷义彦;加藤,走;川野康仁;樱田秀树 5 2016 按调用值递归的公理。 Zbl 1030.68012号 长谷川、Masahito;Kakutani、Yoshihiko 4 2002 量子程序的形式验证逻辑。 Zbl 1273.03107号 川谷义彦 4 2009 S4模态逻辑的经典自然演绎。 Zbl 1251.68071号 大辅木村;川谷义彦 1 2011 量子密码协议安全证明的半自动验证。 Zbl 1336.68164号 高弘久保田;川谷义彦;加藤,走;川野康仁;樱田秀树 5 2016 S4模态逻辑的经典自然演绎。 Zbl 1251.68071号 大辅木村;川谷义彦 1 2011 量子程序的形式验证逻辑。 Zbl 1273.03107号 川谷义彦 4 2009 正常模式逻辑中的按名称调用和按值调用。 Zbl 1138.68024号 Kakutani、Yoshihiko 5 2007 按名称调用递归和按值调用迭代之间的对偶性。 Zbl 1021.03016号 川谷义彦 5 2002 按调用值递归的公理。 兹比尔1030.68012 长谷川、Masahito;川谷义彦 4 2002 所有引用出版物 排名前五的出版物 全部的 前5名33位作者引用 4 邓雨欣 4 大辅木村 三 冯、袁 三 川谷义彦 三 英明生 2 卡斯滕·范尔曼 2 保罗·布莱恩·利维 1 马特奥·阿克拉维奥 1 阿达梅克,吉安尼 1 戴维·卡塔 1 苏里亚·西特加·德苏 1 杜文杰 1 杰伦、布拉姆 1 海兰德·J·马丁·E·。 1 胜本,Shin-ya 1 李,杨佳 1 塔德乌兹·利塔克 1 斯特凡·米利厄斯 1 劳伦斯·莫斯。 1 尤伊托·穆拉斯 1 Yuichi Nishiwaki 1 戈登·普洛金(Gordon D.Plotkin)。 1 米里亚姆·波尔泽 1 权力,约翰 1 大卫·J·派姆。 1 秦旭东 1 乌尔里希·拉宾斯坦 1 M.V.Panduranga Rao 1 阿努巴夫·斯利瓦斯塔瓦 1 卢茨斯特拉汉堡 1 Makoto Tatsuta 1 Hayo Thielecke 1 周,李 全部的 前5名引用于6个系列 三 理论计算机科学 1 纯粹与应用代数杂志 1 新一代计算 1 信息与计算 1 计算的形式方面 1 ACM计算逻辑事务 在4个字段中引用 17 计算机科学(68-XX) 10 数学逻辑和基础(03-XX) 4 范畴理论;同调代数(18-XX) 4 量子理论(81-XX) 按年份列出的引文