编辑配置文件(在新选项卡中打开) 直纪西田 合著者距离 作者ID: 尼西达·诺基 发布日期: 直纪西田 已编制索引的文档: 41出版物自2003年以来 1名编辑贡献 合著者: 35位合著者具有42联合出版物 357位联合作者 全部的 前5名合著者 0 单作者的 15 德国维达尔 10 Masahiko酒井 5 阿德里安·帕拉西奥斯。 5 坂部俊彦 4 辛西娅·科普 三 何塞·伊波拉 2 高仁青藤 2 卡尔·格梅纳 2 Nao Hirokawa 2 伊万·拉内斯 2 朱利安·纳格尔 2 南弥州奈瓦 2 秋久山田 2 哈拉尔德·赞克 2 张淑君 1 千叶,Yuki 1 圣地亚哥埃斯科瓦尔 1 Fuhs,卡斯滕 1 卡洛斯·加林多牧师 1 马科托·哈马纳 1 丰富美加藤 1 Misaki小岛 1 尤亚·梅达 1 阿尔特·米德尔多普 1 水井裕久 1 Masanori长岛 1 中野康弘 1 大卫·萨贝尔 1 津巴萨坂田 1 曼弗雷德·施密特·沙乌 1 Kiraku Shintani 1 乔塞普·席尔瓦 1 萨尔瓦多塔马利特 1 莎拉·温克勒 1 马吉市柳泽 全部的 前5名系列 6 程序设计中的逻辑和代数方法杂志 1 自动推理杂志 1 工程、通信和计算中的应用代数 1 逻辑与代数程序设计杂志 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 1 OASIcs–信息学中的OpenAccess系列 领域 41 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 1 量子理论(81-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 30出版物有被引用186中的次95文件 引用人▼ 年份▼ Cauder:Erlang的因果一致可逆调试器。 Zbl 1507.68066号 伊万·拉内斯;直纪西田;阿德里安·帕拉西奥斯;德国维达尔 28 2018 埃尔朗的可逆性理论。 Zbl 1400.68046号 伊万·拉内斯;直纪西田;阿德里安·帕拉西奥斯;德国维达尔 20 2018 构造函数项重写系统的部分反转。 Zbl 1078.68662号 直纪西田;Masahiko酒井;坂部俊彦 16 2005 带逻辑约束的术语重写。 Zbl 1398.68276号 辛西娅·科普;直纪西田 13 2013 尾部递归函数的程序反演。 Zbl 1236.68144号 直纪西田;Vidal,德语 11 2011 通过终止重写来终止收缩。 Zbl 1197.68049号 直纪西田;德国维达尔 9 2010 通过约束重写归纳验证过程程序。 Zbl 1367.68248号 卡斯滕·福斯;辛西娅·科普;直纪西田 9 2017 条件项重写系统通过与线性相关的超属性展开的合理性。 Zbl 1252.68161号 直纪西田;Masahiko酒井;坂部俊彦 8 2012 约束项重写tooL。 Zbl 1471.68110号 辛西娅·科普;直纪西田 8 2015 具有额外变量的术语重写系统的基于窄域的模拟及其终止证明。 Zbl 1270.68135号 直纪西田;Masahiko酒井;坂部俊彦 7 2003 Erlang的可逆语义。 Zbl 1485.68032号 直纪西田;阿德里安·帕拉西奥斯;德国维达尔 7 2017 项重写中的可逆计算。 Zbl 1381.68107号 直纪西田;阿德里安·帕拉西奥斯;德国维达尔 6 2018 用于验证过程程序的自动约束重写归纳。 Zbl 1453.68050号 辛西娅·科普;直纪西田 5 2014 通过从依赖图中消除边来证明约束项重写系统的终止性。 Zbl 1339.68141号 津巴萨坂田;直纪西田;坂部俊彦 4 2011 计算条件重写系统的更具体版本。 Zbl 1394.68203号 直纪西田;德国维达尔 4 2013 可逆项重写。 Zbl 1387.68147号 直纪西田;阿德里安·帕拉西奥斯;德国维达尔 4 2016 用于精炼未分解的条件项重写系统的转换。 Zbl 1277.68107号 直纪西田;水井裕久;Masahiko酒井 三 2007 用于证明缩小的终止的目标定向和相对依赖对。 Zbl 1284.68186号 何塞·伊波拉;直纪西田;德国维达尔 三 2010 2015年合流竞赛。 Zbl 1465.68118号 高仁青藤;Nao Hirokawa;朱利安·纳格尔;直纪西田;哈拉尔德·赞克 三 2015 缩小空间的有限表示。 Zbl 1453.68054号 直纪西田;德国维达尔 2 2014 内射函数程序反转后完成。 Zbl 1294.68064号 直纪西田;Masahiko酒井 2 2009 改进用于程序反转的语法程序的确定性。 Zbl 1394.68082号 南弥州奈瓦;直纪西田;Masahiko酒井 2 2013 计算有限SLD树的框架。 Zbl 1319.68055号 直纪西田;德国维达尔 2 2015 确定性条件项重写系统通过与线性相关的超属性展开的合理性。 Zbl 1236.68143号 直纪西田;Masahiko酒井;坂部俊彦 2 2011 通过逻辑约束项重写进行循环检测。 Zbl 1403.68107号 直纪西田;莎拉·温克勒 2 2018 在句法双向化中表征兼容的视图更新。 Zbl 1528.68070号 直纪西田;德国维达尔 2 2019 关于条件项重写系统的结构-保护转换的注释。 Zbl 1428.68175号 卡尔·格梅纳;直纪西田 1 2014 在术语重写中转换为尾部递归。 兹比尔1283.68128 直纪西田;德国维达尔 1 2014 减少依赖对问题的相对终止。 Zbl 1465.68120号 何塞·伊波拉;直纪西田;德国维达尔;秋久山田 1 2015 句法确定性条件项重写系统的窄树。 Zbl 1462.68097号 直纪西田;尤亚·梅达 1 2018 在句法双向化中表征兼容的视图更新。 Zbl 1528.68070号 直纪西田;德国维达尔 2 2019 Cauder:Erlang的因果一致可逆调试器。 Zbl 1507.68066号 伊万·拉内斯;直纪西田;阿德里安·帕拉西奥斯;德国维达尔 28 2018 埃尔朗的可逆性理论。 Zbl 1400.68046号 伊万·拉内斯;直纪西田;阿德里安·帕拉西奥斯;德国维达尔 20 2018 项重写中的可逆计算。 Zbl 1381.68107号 直纪西田;阿德里安·帕拉西奥斯;德国维达尔 6 2018 通过逻辑约束项重写进行循环检测。 Zbl 1403.68107号 直纪西田;莎拉·温克勒 2 2018 句法确定性条件项重写系统的窄树。 Zbl 1462.68097号 直纪西田;尤亚·梅达 1 2018 通过约束重写归纳验证过程程序。 Zbl 1367.68248号 卡斯滕·福斯;辛西娅·科普;直纪西田 9 2017 Erlang的可逆语义。 Zbl 1485.68032号 直纪西田;阿德里安·帕拉西奥斯;德国维达尔 7 2017 可逆项重写。 Zbl 1387.68147号 直纪西田;阿德里安·帕拉西奥斯;德国维达尔 4 2016 有限制的术语重写tooL。 Zbl 1471.68110号 辛西娅·科普;直纪西田 8 2015 2015年合流竞赛。 Zbl 1465.68118号 高仁青藤;Nao Hirokawa;朱利安·纳格尔;直纪西田;哈拉尔德·赞克 三 2015 计算有限SLD树的框架。 Zbl 1319.68055号 直纪西田;德国维达尔 2 2015 减少依赖对问题的相对终止。 Zbl 1465.68120号 何塞·伊波拉;直纪西田;德国维达尔;秋久山田 1 2015 面向验证过程程序的自动约束重写归纳法。 Zbl 1453.68050号 辛西娅·科普;直纪西田 5 2014 缩小空间的有限表示。 Zbl 1453.68054号 直纪西田;德国维达尔 2 2014 关于条件项重写系统的结构-保护转换的注释。 Zbl 1428.68175号 卡尔·格梅纳;直纪西田 1 2014 在术语重写中转换为尾部递归。 兹比尔1283.68128 直纪西田;德国维达尔 1 2014 带逻辑约束的术语重写。 Zbl 1398.68276号 辛西娅·科普;直纪西田 13 2013 计算条件重写系统的更具体版本。 兹比尔1394.68203 直纪西田;德国维达尔 4 2013 改进用于程序反转的语法程序的确定性。 Zbl 1394.68082号 南弥州奈瓦;直纪西田;Masahiko酒井 2 2013 条件项重写系统通过与线性相关的超属性展开的合理性。 Zbl 1252.68161号 直纪西田;Masahiko酒井;坂部俊彦 8 2012 尾部递归函数的程序反演。 Zbl 1236.68144号 直纪西田;维达尔,德语 11 2011 关于通过从依赖图中消除边来证明约束项重写系统的终止。 Zbl 1339.68141号 津巴萨坂田;直纪西田;坂部俊彦 4 2011 确定性条件项重写系统通过与线性相关的超属性展开的合理性。 Zbl 1236.68143号 直纪西田;Masahiko酒井;坂部俊彦 2 2011 通过终止重写来终止收缩。 Zbl 1197.68049号 直纪西田;德国维达尔 9 2010 用于证明收缩终止的目标定向依赖对和相对依赖对。 Zbl 1284.68186号 何塞·伊波拉;直纪西田;德国维达尔 三 2010 内射函数程序反转后完成。 Zbl 1294.68064号 直纪西田;Masahiko酒井 2 2009 用于精炼未分解的条件项重写系统的转换。 Zbl 1277.68107号 直纪西田;水井裕久;Masahiko酒井 三 2007 构造函数项重写系统的部分反转。 Zbl 1078.68662号 直纪西田;Masahiko酒井;坂部俊彦 16 2005 具有额外变量的术语重写系统的基于窄域的模拟及其终止证明。 Zbl 1270.68135号 直纪西田;Masahiko酒井;坂部俊彦 7 2003 所有引用出版物 前5名被引用出版物 全部的 前5名135位作者引用 23 直纪西田 15 德国维达尔 13 伊万·拉内斯 7 克劳迪奥·安塔雷斯·梅齐纳 5 伊恩·菲利普斯。 5 伊雷克·乌利多夫斯基 5 莎拉·温克勒 4 罗伯特·格莱克 4 乔治·莫瑟 4 阿德里安·帕拉西奥斯。 4 Masahiko酒井 三 乔瓦尼·法布雷蒂 三 卡斯滕·福斯 三 卡尔·格梅纳 三 塞尔吉奥·格雷科 三 何塞·伊波拉 三 萨尔瓦多卢卡斯 三 松田和川 三 多里亚娜·梅迪奇 三 阿尔特·米德尔多普 三 Jean-Bernard斯特凡尼 三 伊琳娜·特鲁比西纳 三 横山,铁雄 2 高仁青藤 2 马可·贝尔纳多 2 劳拉·博奇 2 马克·布罗克施米特 2 拉斐尔·卡巴列罗(Rafael E.Caballero)。 2 马可·卡劳蒂 2 伯恩哈德·格拉姆利希 2 詹姆斯·霍伊 2 罗宾·卡斯加德 2 辛西娅·科普 2 彼得罗·拉米 2 洛伦兹·勒特盖布 2 马丁·马丁,恩里克 2 何塞·梅塞盖尔·瓜伊塔 2 克里斯蒂安·莫里纳罗 2 Masanori长岛 2 朱利安·纳格尔 2 阿德里安·里斯科 2 克劳迪奥·萨塞尔多蒂·科恩 2 坂部俊彦 2 萨尔瓦多塔马利特 2 王蒙 2 秋久山田 2 吉田、Nobuko 2 袁,Shoji 2 哈拉尔德·赞克 2 张淑君 2 弗洛里安·祖勒格 1 玛丽亚·阿尔普特 1 科尼利厄斯·阿斯切尔曼 1 霍尔格·博克·阿克塞尔森 1 阿提拉·巴戈西 1 波登,泰国 1 佩特尔·贝雷茨基 1 玛丽亚·保拉(Maria Paola Bonacina) 1 克里斯蒂娜·博拉莱拉斯 1 安德烈·塞巴斯蒂安·布鲁安 1 曹振福 1 陈杰 1 瑟·特凡·乔巴赫 1 路易斯·克鲁兹·菲利佩 1 克里斯蒂娜·大卫 1 董晓雷 1 汉娜·厄利 1 圣地亚哥埃斯科瓦尔 1 伯特伦·费尔根豪尔 1 弗洛里安·弗洛恩 1 格拉萨·加斯帕 1 吉尔根·吉斯尔 1 龚俊清 1 劳雷·贡诺德 1 González-Abril,Juan José 1 格雷弗森,伊娃 1 朱利奥·格雷里 1 劳尔·古铁雷斯 1 马科托·哈马纳 1 弗里茨·亨利恩 1 赫塞尔,杰拉 1 Nao Hirokawa 1 马丁·霍夫曼 1 达尼尔·霍帕西 1 池田、高石 1 稻叶和弘 1 埃纳尔·布罗赫·约翰森 1 赤顺县金山 1 莫尼卡卡普斯·科拉尔 1 丰富美加藤 1 肯塔罗州菊池 1 Maja Hanne Kirkeby 1 Misaki小岛 1 约阿希姆·蒂尔斯泰德·克里斯滕森 1 朱利安·兰格 1 丹尼尔·拉拉兹 1 多雷尔·卢卡努 1 尤亚·梅达 1 朱利奥·曼佐内托 1 米克尔·克拉·马西森 …还有35位作者 全部的 前5名15篇连载文章中引用 17 程序设计中的逻辑和代数方法杂志 6 计算机科学中的逻辑方法 4 理论计算机科学 三 逻辑程序设计理论与实践 2 信息与计算 2 自动推理杂志 2 逻辑与代数程序设计杂志 2 ACM计算逻辑事务 1 信息学报 1 骨髓间充质干细胞。计算机科学中的数学结构 1 工程、通信和计算中的应用代数 1 系统设计中的形式化方法 1 函数编程杂志 1 高阶和符号计算 1 计算机基础理论 在5个字段中引用 93 计算机科学(68至XX) 8 量子理论(81-XX) 6 数学逻辑和基础(03-XX) 1 概率论与随机过程(60-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文