编辑配置文件(在新选项卡中打开) 高仁青藤 合著者距离 作者ID: aoto.takahito先生 发布日期: 高仁青藤 已编制索引的文档: 36出版物自1994年以来 合著者: 22合著者具有29份联合出版物 176位合作作者 全部的 前5名合著者 7 单作者的 13 富山,吉藤义彦 7 肯塔罗州菊池 5 山田,Toshiyuki 2 千叶,Yuki 2 Nao Hirokawa 2 木内弘岩美 2 朱利安·纳格尔 2 直纪西田 2 哈拉尔德·赞克 1 马科托·哈马纳 1 马莫鲁·石冢 1 杰罗·凯特马 1 木村,尤塔 1 阿尔特·米德尔多普 1 小野,Hiroakira 1 佐藤,Koichi 1 Kiraku Shintani 1 Tomoki Shiraishi 1 Hiroyuki Shirasu 1 铃木、高木 1 Kazumasa Uchida公司 1 吉田纯一 全部的 前5名系列 1 逻辑部分公告 1 逻辑、语言与信息杂志 1 数学逻辑季刊(MLQ) 1 函数与逻辑程序设计杂志 1 通用计算机科学杂志 1 计算机科学中的逻辑方法 领域 33 计算机科学(68至XX) 5 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 25出版物有被引用105次59文件 引用人▼ 年份▼ 自动证明术语重写系统的汇合。 Zbl 1242.68125号 高仁青藤;吉田纯一;富山,吉仁 18 2009 汇流的持久性。 Zbl 0960.68082号 高仁青藤;富山,吉藤义彦 15 1997 重新审视正交标称重写系统的融合。 Zbl 1366.68128号 铃木、高木;肯塔罗州菊池;高仁青藤;富山,吉藤义彦 9 2015 通过翻译和标记终止简单类型术语重写。 Zbl 1038.68060号 高仁青藤;山田,Toshiyuki 6 2003 证明非终止项重写系统合流的一种约简-保护补全。 Zbl 1238.68071号 高仁青藤;富山,吉藤义彦 6 2012 简单类型术语重写的依赖项对。 Zbl 1078.68651号 高仁青藤;山田,Toshiyuki 5 2005 通过基于规则标注的减少图表来自动验证汇流。 Zbl 1236.68114号 高仁青藤 5 2010 通过解释和排序否定术语重写系统的汇合。 Zbl 1398.68268号 高仁青藤 5 2013 蕴涵直觉逻辑中正规证明的唯一性。 Zbl 0931.03067号 高仁青藤 4 1999 基于重写归纳法的地面汇流校准仪。 Zbl 1387.68205号 高仁青藤;富山,吉藤义彦 4 2016 BCK蕴涵连接片段中极小公式正规证明的非唯一性。 Zbl 0808.03002号 高仁青藤;小野,Hiroakira 三 1994 解决Zantema关于术语重写系统持久性的问题。 Zbl 1037.68066号 高仁青藤 三 2001 左线性标称重写系统的并行闭包定理。 Zbl 1495.68114号 肯塔罗州菊池;高仁青藤;富山,吉藤义雄 三 2017 重写归纳法中处理不可定向方程。 Zbl 1151.68627号 高仁青藤 三 2006 2015年汇流竞赛。 兹比尔1465.68118 高仁青藤;Nao Hirokawa;朱利安·纳格尔;直纪西田;哈拉尔德·赞克 三 2015 参数筛选和简单类型依赖项对的可用规则。 Zbl 1193.68142号 高仁青藤;山田,Toshiyuki 2 2009 标称汇流工具。 Zbl 1476.68298号 高仁青藤;肯塔罗州菊池 2 2016 项重写系统局部充分完备性的一种证明方法。 Zbl 07500655号 Tomoki Shiraishi;肯塔罗州菊池;高仁青藤 2 2021 用于证明方程归纳有效性的声音引理生成。 Zbl 1248.68447号 高仁青藤 1 2008 关于项重写系统的可组合性质。 Zbl 0884.68069号 高仁青藤;富山,吉藤义彦 1 1997 重新审视理性术语重写:可判定性和合流性。 Zbl 1367.68125号 高仁青藤;杰罗·凯特马 1 2012 通过持久性和递减图证明术语重写系统的合流性。 Zbl 1416.68088号 高仁青藤;富山,吉藤义彦;Kazumasa Uchida公司 1 2014 带有原子变量的标称重写系统的汇流和交换。 Zbl 07496641号 肯塔罗州菊池;高仁青藤 1 2021 证明非终止项重写系统合流的一种约简-保护补全。 Zbl 1236.68115号 高仁青藤;富山,吉藤义彦 1 2011 改进了试验场汇流的重写归纳法。 Zbl 1434.68215号 高仁青藤;富山,吉藤义彦;木村,尤塔 1 2017 项重写系统局部充分完备性的一种证明方法。 Zbl 07500655号 Tomoki Shiraishi;肯塔罗州菊池;高仁青藤 2 2021 带有原子变量的标称重写系统的汇流和交换。 Zbl 07496641号 菊池贤太郎;高仁青藤 1 2021 左线性标称重写系统的并行闭包定理。 兹比尔1495.68114 肯塔罗州菊池;高仁青藤;富山,吉藤义彦 三 2017 改进了试验场汇流的重写归纳法。 Zbl 1434.68215号 高仁青藤;富山,吉藤义彦;木村,尤塔 1 2017 基于重写归纳法的地面汇流校准仪。 Zbl 1387.68205号 高仁青藤;富山,吉藤义彦 4 2016 标称汇流工具。 Zbl 1476.68298号 高仁青藤;肯塔罗州菊池 2 2016 重新审视正交标称重写系统的融合。 Zbl 1366.68128号 铃木、高木;肯塔罗州菊池;高仁青藤;富山,吉藤义彦 9 2015 2015年合流竞赛。 Zbl 1465.68118号 高仁青藤;Nao Hirokawa;朱利安·纳格尔;直纪西田;哈拉尔德·赞克 三 2015 通过持久性和递减图证明术语重写系统的合流性。 Zbl 1416.68088号 高仁青藤;富山,吉藤义彦;Kazumasa Uchida公司 1 2014 通过解释和排序否定术语重写系统的汇合。 Zbl 1398.68268号 高仁青藤 5 2013 证明非终止项重写系统合流的一种约简-保护补全。 Zbl 1238.68071号 高仁青藤;富山,吉藤义彦 6 2012 重新审视理性术语重写:可判定性和合流性。 Zbl 1367.68125号 高仁青藤;杰罗·凯特马 1 2012 证明非终止项重写系统合流的一种约简-保护补全。 Zbl 1236.68115号 高仁青藤;富山,吉藤义彦 1 2011 通过基于规则标注的减少图表来自动验证汇流。 Zbl 1236.68114号 高仁青藤 5 2010 自动证明术语重写系统的汇合。 兹比尔1242.68125 高仁青藤;吉田纯一;富山,吉仁 18 2009 简单类型依赖项对的参数筛选和可用规则。 Zbl 1193.68142号 高仁青藤;山田,Toshiyuki 2 2009 用于证明方程归纳有效性的声音引理生成。 Zbl 1248.68447号 高仁青藤 1 2008 重写归纳法中处理不可定向方程。 Zbl 1151.68627号 高仁青藤 三 2006 简单类型术语重写的依赖项对。 Zbl 1078.68651号 高仁青藤;山田,Toshiyuki 5 2005 通过翻译和标记终止简单类型术语重写。 Zbl 1038.68060号 高仁青藤;山田,Toshiyuki 6 2003 解决Zantema关于术语重写系统持久性的问题。 Zbl 1037.68066号 高仁青藤 三 2001 蕴涵直觉逻辑中正规证明的唯一性。 Zbl 0931.03067号 高仁青藤 4 1999 汇流的持续性。 Zbl 0960.68082号 高仁青藤;富山,吉藤义彦 15 1997 关于项重写系统的可组合性质。 Zbl 0884.68069号 高仁青藤;富山,吉藤义彦 1 1997 BCK蕴涵连接片段中极小公式正规证明的非唯一性。 Zbl 0808.03002号 高仁青藤;小野,Hiroakira 三 1994 所有引用出版物 前5名被引用出版物 全部的 前5名74位作者引用 12 阿尔特·米德尔多普 8 高仁青藤 7 Nao Hirokawa 7 哈拉尔德·赞克 5 伯特伦·费尔根豪尔 4 肯塔罗州菊池 4 萨尔瓦多卢卡斯 三 何塞·梅塞盖尔·瓜伊塔 三 朱利安·纳格尔 三 西尔万·萨尔瓦蒂 三 Kiraku Shintani 三 富山,吉藤义彦 2 毛里西奥·阿亚拉·林科恩 2 皮埃尔·布罗 2 约尔格恩德鲁利斯 2 玛丽贝尔·费尔南德斯 2 简·赫尔曼·杰弗斯 2 劳尔·古铁雷斯 2 马科托·哈马纳 2 亚历山大·洛赫曼 2 费比安·米特沃纳 2 直纪西田 2 罗查·奥利维拉,安娜·克里斯蒂娜 2 Masahiko酒井 2 雅各布·格鲁·西蒙森 2 斯特拉图拉特,索林 2 文森特·范·奥斯特罗姆 2 Rakesh M.维尔玛。 2 汉斯·赞特马 1 帕特里克·贝洛特 1 Jan A.Bergstra。 1 贾斯敏·克里斯蒂安·布兰切特 1 保罗·布劳纳 1 萨宾·布罗达 1 乌戈·达尔拉戈 1 路易斯·达马斯 1 多明格斯,耶苏斯·埃米利奥 1 弗朗西斯科·杜兰 1 圣埃斯皮里托·何塞·卡洛斯 1 卡斯滕·福斯 1 默多克·詹姆斯·加贝 1 安德烈·路易斯·加尔迪诺 1 吉勒姆·戈多伊 1 伯恩哈德·格拉姆利希 1 石冢,Mamoru 1 石祖木,早矢香 1 木内弘岩美 1 Jean-Pierre Jouannaud 1 木村,尤塔 1 克洛德·基什内尔 1 赫莱内·基什内尔 1 辛西娅·科普 1 Kusakari、Keiichirou 1 尤努斯·库茨。 1 刘嘉祥 1 巴斯·卢提克 1 拉尔夫·马提斯 1 法布里斯·纳洪 1 小山口,美雄 1 鲁伊斯·平托(Luís F.Pinto)。 1 阿尔班·蓬塞 1 卡米洛·罗查 1 彼得·罗登堡。 1 佐藤,Koichi 1 曼弗雷德·施密特·沙乌 1 斯蒂芬·斯基里克 1 克里斯蒂安·斯特纳格尔 1 阿什什·库马尔·蒂瓦里 1 乌韦·沃尔德曼 1 丹尼尔·旺德 1 Akihisa山田 1 山田,Toshiyuki 1 吉田纯一 1 张淑君 全部的 前5名16篇连载文章中引用 6 自动推理杂志 4 信息与计算 三 计算机科学中的逻辑方法 2 理论计算机科学 2 MSCS公司。计算机科学中的数学结构 2 工程、通信和计算中的应用代数 2 ACM计算逻辑事务 1 人工智能 1 信息处理信件 1 计算机与系统科学杂志 1 纯逻辑与应用逻辑年鉴 1 符号计算杂志 1 逻辑、语言与信息杂志 1 函数编程杂志 1 数学与人工智能年鉴 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 55 计算机科学(68至XX) 20 数学逻辑和基础(03-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的引文