编辑配置文件（在新选项卡中打开） 巴利亚特·纳伦德兰 合著者距离 作者ID： 纳伦德兰·帕利亚特 发布日期： 巴利亚特·纳伦德兰；纳伦德兰，P。 外部链接： MGP公司 已编制索引的文档： 96出版物自1983年以来，包括1个附加arXiv预打印 2作为编辑的贡献 合著者： 65位合著者具有95联合出版物 1498名合著者 全部的 前5名合著者 三 单作者的 29 迪帕克·卡普尔 19 弗里德里希·奥托 19 米歇尔·鲁西诺维奇 12 阿南塔拉曼，湿婆 9 克里斯托弗·林奇（Christopher A.Lynch）。 9 安德鲁·马歇尔。 6 塞尔达，埃尔巴图尔 6 凯瑟琳·梅多斯。 5 罗伯特·麦克诺顿 5 张汉涛 4 让·H·盖利尔。 4 林海 4 维埃娜·拉维珊卡 4 韦恩·斯奈德 三 克里斯托弗·布沙尔 三 郭青 三 Krishnamoorthy，Mukkai S。 三 大卫·穆瑟。 三 科尔姆·P·奥杜兰。 三 普莱斯特德，大卫·艾伦 三 斯坦·拉茨 三 克里斯托夫·林盖森 三 乔纳森·斯蒂尔曼 2 丹·贝纳纳夫 2 休伯特·科蒙 2 安纳托利·伊万诺维奇·德吉亚列夫 2 丹尼尔·多尔蒂（Daniel J.Dougherty）。 2 尤里·古里维奇 2 克劳斯·马德莱纳。 2 罗伯特·纽文胡斯 2 布兰登·罗泽克 2 玛格斯·维纳斯 2 王丽达 2 大卫·A·沃尔夫拉姆。 1 Franz巴德 1 Tour男孩，蒂埃里 1 本杰明·卡尔 1 道尔顿·奇切斯特 1 约翰·科科兰 1 金伯利·A·康奈尔。 1 杜伟 1 穆纳乔·埃切宁 1 圣地亚哥埃斯科瓦尔 1 金伯利·A·杰罗。 1 彼得·希布斯 1 阿卜杜利拉·坎德里·罗迪 1 雷蒙德·考夫曼 1 金、多汉 1 史蒂夫·克莱默 1 刘志强 1 何塞·梅塞盖尔·瓜伊塔 1 弗兰克·芬宁 1 海因里希·罗列茨切克 1 丹尼尔·罗森克兰茨。 1 路易斯·罗维拉 1 圣地亚哥，索尼娅 1 拉尔夫·萨西 1 桑迪普·库马尔·舒克拉 1 西瓦库马尔，G.D。 1 理查德·斯塔特曼 1 沃尔夫冈·托马斯 1 Rakesh M.维尔玛。 1 安德烈·沃伦科夫 1 卡尔·温克尔曼 1 张路欣 全部的 前5名系列 14 理论计算机科学 5 符号计算杂志 5 自动推理杂志 4 信息与计算 三 信息学报 三 计算机协会杂志 2 信息处理信件 2 自动机、语言和组合数学杂志 2 计算机科学中的逻辑方法 1 离散数学 1 信息和控制 1 代数杂志 1 计算机与系统科学杂志 1 符号逻辑杂志 1 数学系统理论 1 SIAM计算机杂志 1 SIGSAM公告 1 波兰数学年鉴。系列IV 1 欧洲理论计算机科学协会公报 1 ACM计算逻辑汇刊 1 计算机科学课堂讲稿 全部的 前5名领域 88 计算机科学（68至XX） 46 数理逻辑与基础（03-XX） 14 信息与通信理论、电路（94-XX） 9 群论与推广（20-XX） 2 总体主题；集合（00-XX） 2 交换代数（13-XX） 1 历史和传记（01-XX） 1 一般代数系统（08-XX） 1 范畴理论；同调代数（18-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 82出版物有被引用753中的次542文件 引用人▼ 年份▼ Church-Rosser-Tue系统和正式语言。 Zbl 0652.68093号 罗伯特·麦克诺顿；巴利亚特·纳伦德兰；弗里德里希·奥托 52 1988 关于项重写系统的充分完备性及其相关性质。 Zbl 0594.68035号 迪帕克·卡普尔；巴利亚特·纳伦德兰；张汉涛 42 1987 具有可判定词问题且没有等价有限正则系统的有限Thue系统。 Zbl 0588.03023号 迪帕克·卡普尔；巴利亚特·纳伦德兰 38 1985 描述逻辑中概念术语的统一。 兹伯利0970.68166 Franz巴德；巴利亚特·纳伦德兰 33 2001 Knuth-Bendix完井程序和Thue系统。 Zbl 0576.68010号 迪帕克·卡普尔；巴利亚特·纳伦德兰 25 1985 结合交换算子统一问题的复杂性。 Zbl 0781.68076号 迪帕克·卡普尔；巴利亚特·纳伦德兰 24 1992 匹配问题的复杂性。 Zbl 0638.68036号 丹·贝纳纳夫；迪帕克·卡普尔；巴利亚特·纳伦德兰 23 1987 集合统一和匹配问题的NP-完备性。 兹伯利0643.68054 迪帕克·卡普尔；巴利亚特·纳伦德兰 23 1986 在Knuth-Bendix完井程序中只需考虑素数叠加。 Zbl 0651.68029号 迪帕克·卡普尔；大卫·穆瑟。；巴利亚特·纳伦德兰 23 1988 使用测试集进行归纳证明。 Zbl 0642.68034号 迪帕克·卡普尔；巴利亚特·纳伦德兰；张汉涛 21 1986 充分完整性、地面可简化性及其复杂性。 Zbl 0721.68032号 迪帕克·卡普尔；巴利亚特·纳伦德兰；丹尼尔·罗森克兰茨。；张汉涛 20 1991 利用方程组和刚性（E）-统一证明定理。 Zbl 0799.68171号 吉恩·加利耶；巴利亚特·纳伦德兰；斯坦·拉茨；韦恩·斯奈德 17 1992 一种在多项式时间内寻找地面重写规则规范集的算法。 Zbl 0779.68050号 吉恩·盖利埃；巴利亚特·纳伦德兰；大卫·普拉斯泰德；斯坦·拉茨；韦恩·斯奈德 16 1993 用于证明项重写系统终止的路径排序。 Zbl 0567.68026号 卡普尔，D。；纳伦德兰，P。；西瓦库马尔，G。 16 1985 术语重写系统的地面影响。 Zbl 0699.68041号 迪帕克·卡普尔；巴利亚特·纳伦德兰；弗里德里希·奥托 16 1990 同余语言某些决策问题的复杂性。 Zbl 0607.68055号 巴利亚特·纳伦德兰；科尔姆·奥斯杜伦；海因里希·罗列茨切克 14 1985 关于前向闭包和有限变分性质。 Zbl 1398.68271号 克里斯托弗·布沙尔；金伯利·A·杰罗。；克里斯托弗·林奇；巴利亚特·纳伦德兰 14 2013 对有限表示交换代数上的词问题和统一问题的理想理论方法。 Zbl 0581.68039号 阿卜杜利拉·坎德里·罗迪；迪帕克·卡普尔；巴利亚特·纳伦德兰 14 1985 用于测试Thue系统的Church-Rosser属性的\（O（|T|^3）\）算法。 Zbl 0563.03018号 卡普尔，D。；Krishnamoorthy，M.S。；R·麦克诺顿。；纳伦德兰，P。 13 1985 关于递归路径排序。 Zbl 0602.68031号 Krishnamoorthy，M.S。；纳伦德兰，P。 12 1985 使用测试集自动进行无感应感应。 Zbl 0724.68079号 迪帕克·卡普尔；巴利亚特·纳伦德兰；张汉涛 12 1991 dag自动机的闭包性质和决策问题。 Zbl 1182.68099号 阿南塔拉曼，湿婆；巴利亚特·纳伦德兰；迈克尔·鲁西诺维奇 11 2005 复杂性导致了幺半群的共轭问题。 Zbl 0588.03022号 巴利亚特·纳伦德兰；弗里德里希·奥托 11 1985 对于仅包含长度缩减规则和单个交换规则的Thue系统，预完美性是不可判定的。 Zbl 0653.03026号 巴利亚特·纳伦德兰；弗里德里希·奥托 11 1988 Thue系统的不可判定性。 Zbl 0545.03022号 巴利亚特·纳伦德兰；罗伯特·麦克诺顿 11 1984 任何基结合交换理论都有一个有限的正则系统。 兹比尔1509.03044 巴利亚特·纳伦德兰；米歇尔·鲁西诺维奇 10 1991 匹配、统一和复杂性。 Zbl 0626.68036号 迪帕克·卡普尔；巴利亚特·纳伦德兰 10 1987 有限Church-Rosser-Tue系统的一致共轭问题是NP-完全的。 Zbl 0592.03025号 巴利亚特·纳伦德兰；弗里德里希·奥托；卡尔·温克尔曼 10 1984 带帽入侵者。 兹比尔1203.94091 阿南塔拉曼，湿婆；巴利亚特·纳伦德兰；迈克尔·鲁西诺维奇 10 2007 用于分析使用模幂运算的协议的E-统一算法。 Zbl 1043.94537号 迪帕克·卡普尔；巴利亚特·纳伦德兰；王立达 9 2003 任何基结合交换理论都有一个有限的正则系统。 Zbl 0878.68076号 巴利亚特·纳伦德兰；米歇尔·鲁西诺维奇 9 1996 关于扩展正则表达式。 Zbl 1234.68202号 本杰明·卡尔；巴利亚特·纳伦德兰 9 2009 特殊幺半群和特殊Thue系统。 Zbl 0618.20039号 R·麦克诺顿。；纳伦德兰，P。 8 1987 有限完全重写系统的循环等式和共轭问题。 兹比尔0619.68033 巴利亚特·纳伦德兰；弗里德里希·奥托 8 1986 匹配问题的复杂性。 Zbl 0576.68038号 丹·贝纳纳夫；迪帕克·卡普尔；巴利亚特·纳伦德兰 8 1985 有限呈现半群中的对消性。 Zbl 0682.20046号 巴利亚特·纳伦德兰；科尔姆·奥斯杜伦 8 1989 弱合流一元串重写系统。 Zbl 0778.68049号 马德勒，K。；纳伦德兰，P。；F.奥托。；张，L。 7 1993 具有一个变量和相关结果的同时刚性E-统一的可判定性和复杂性。 Zbl 0944.68103号 德吉亚雷夫，A。；Y.古雷维奇。；纳伦德兰，P。；韦恩斯，M。；沃伦科夫，A。 7 2000 刚性E统一：NP完全性及其在等式匹配中的应用。 Zbl 0709.68080号 吉恩·盖利埃；巴利亚特·纳伦德兰；大卫·普拉斯泰德；韦恩·斯奈德 7 1990 Knuth Bendix完井程序和Thue系统。 Zbl 0535.68012号 卡普尔，D。；纳伦德兰，P。 7 1983 有限重减和合流Thue系统的有限阶元。 Zbl 0673.68025号 巴利亚特·纳伦德兰；弗里德里希·奥托 6 1988 关于笛卡尔闭范畴的统一问题。 兹伯利0882.03044 巴利亚特·纳伦德兰；弗兰克·芬宁；理查德·斯塔特曼 6 1997 一元字符串重写系统呈现组的专用完成过程。 Zbl 0769.68061号 马德勒，K。；纳伦德兰，P。；F.奥托。 6 1991 关于方程统一的一些结果。 兹比尔1509.68122 巴利亚特·纳伦德兰；弗里德里希·奥托 6 1990 非对称统一：密码协议分析的新统一范式。 Zbl 1381.68264号 塞尔达，埃尔巴图尔；圣地亚哥埃斯科瓦尔；迪帕克·卡普尔；刘志强；克里斯托弗·林奇（Christopher A.Lynch）。；凯瑟琳·梅多斯；何塞·梅塞盖尔；巴利亚特·纳伦德兰；圣地亚哥，索尼娅；拉尔夫·萨西 5 2013 Church-Rosser财产和特殊的Thue系统。 Zbl 0586.03028号 卡普尔，D。；纳伦德兰，P。；Krishnamoorthy，M.S。；R·麦克诺顿。 5 1985 一个有限的特殊字符串重写系统是否表示一个群是不可判定的。 Zbl 0749.20032号 巴利亚特·纳伦德兰；奥斯·杜恩莱恩，科尔姆；弗里德里希·奥托 4 1991 有序重写中的决策问题。 兹比尔0945.68520 H·科蒙。；纳伦德兰，P。；Nieuwenhuis，R。；Rusinovitch，M。 4 1998 半统一。 Zbl 0667.68042号 迪帕克·卡普尔；大卫·穆瑟；巴利亚特·纳伦德兰；乔纳森·斯蒂尔曼 4 1988 分配指数（子）理论的统一。 Zbl 1345.68190号 塞尔达，埃尔巴图尔；安德鲁·马歇尔。；迪帕克·卡普尔；巴利亚特·纳伦德兰 4 2011 自动合成密码验证的符号方法中的算法问题。 Zbl 07497926号 林海；克里斯托弗·林奇；安德鲁·马歇尔。；凯瑟琳·梅多斯。；巴利亚特·纳伦德兰；维埃娜·拉维珊卡；布兰登·罗泽克 三 2021 重写技术和应用程序。第十届国际会议，RTA-99。意大利特伦托，1999年7月2-4日。诉讼程序。 Zbl 0916.00018号 三 1999 RPO约束求解是NP问题。 Zbl 0940.68070号 巴利亚特·纳伦德兰；迈克尔·鲁西诺维奇；拉凯什·维尔玛 三 1999 统一模同态加密。 Zbl 1242.68096号 阿南塔拉曼，湿婆；林海；克里斯托弗·林奇；巴利亚特·纳伦德兰；迈克尔·鲁西诺维奇 三 2012 分层组合。 Zbl 1381.68265号 塞尔达，埃尔巴图尔；迪帕克·卡普尔；安德鲁·马歇尔。；巴利亚特·纳伦德兰；克里斯托夫·林盖森 三 2013 寻找多项式时间内等价于有限组基本方程的正则重写系统。 兹比尔0661.68093 吉恩·盖利埃；巴利亚特·纳伦德兰；大卫·普拉斯泰德；斯坦·拉茨；韦恩·斯奈德 三 1988 模幂零的统一与匹配。 Zbl 1412.68229号 郭青；巴利亚特·纳伦德兰；沃尔夫拉姆，D.A。 三 1996 恢复基本收缩模量。 Zbl 1435.68371号 金、多汉；克里斯托弗·林奇；巴利亚特·纳伦德兰 三 2019 一元Thue系统在正则集上是否正则是可以判定的。 兹比尔0722.68071 巴利亚特·纳伦德兰 三 1990 与一个变量同时刚性统一的可判定性。 Zbl 0903.03007号 安纳托利·德吉亚列夫；尤里·古里维奇；巴利亚特·纳伦德兰；玛格斯·维纳斯；安德烈·沃伦科夫 三 1998 充分完备性的复杂性。 Zbl 0623.68047号 迪帕克·卡普尔；巴利亚特·纳伦德兰；张汉涛 2 1986 统一模ACUI加分布公理。 Zbl 1063.03006号 阿南塔拉曼，湿婆；巴利亚特·纳伦德兰；迈克尔·鲁西诺维奇 2 2004 对于汇合的有限个特殊字符串重写系统，单词匹配问题是不可判定的。 Zbl 1401.68138号 巴利亚特·纳伦德兰；弗里德里希·奥托 2 1997 有限一元Church-Rosser-Tue系统的一些多项式时间算法。 Zbl 0677.68050号 巴利亚特·纳伦德兰；弗里德里希·奥托 2 1989 统一模同态加密。 Zbl 1193.68231号 阿南塔拉曼，湿婆；林海；克里斯托弗·林奇；巴利亚特·纳伦德兰；米歇尔·鲁西诺维奇 2 2009 变量置换理论的单一与同时方程统一和方程统一。 Zbl 0882.68079号 巴利亚特·纳伦德兰；弗里德里希·奥托 2 1997 非对称统一和不统一。 Zbl 1444.68088号 维埃娜·拉维珊卡；金伯利·A·康奈尔。；巴利亚特·纳伦德兰 2 2019 句法理论层次组合中的统一与匹配。 Zbl 1471.68108号 塞尔达，埃尔巴图尔；迪帕克·卡普尔；安德鲁·马歇尔。；巴利亚特·纳伦德兰；克里斯托夫·林盖森 2 2015 关于统一模单边分配性：算法、变量和不对称性。 Zbl 1391.68065号 安德鲁·马歇尔。；凯瑟琳·梅多斯；巴利亚特·纳伦德兰 2 2015 半统一。 Zbl 0732.68063号 迪帕克·卡普尔；大卫·穆瑟；巴利亚特·纳伦德兰；乔纳森·斯蒂尔曼 2 1991 酸化是NEXPTIME可判定的。 Zbl 1124.68370号 阿南塔拉曼，湿婆；巴利亚特·纳伦德兰；迈克尔·鲁西诺维奇 2 2003 Knuth-Bendix完成程序是否生成交叉对尚不确定。 Zbl 1494.68119号 巴利亚特·纳伦德兰；乔纳森·斯蒂尔曼 2 1989 方程统一的一些独立性结果。 Zbl 1503.68146号 弗里德里希·奥托；巴利亚特·纳伦德兰；丹尼尔·多尔蒂（Daniel J.Dougherty）。 1 1995 关于正则Thue系统的正则等价问题。 Zbl 0609.68027号 巴利亚特·纳伦德兰 1 1986 幂零统一和匹配问题的复杂性。 兹比尔1045.68603 郭青；巴利亚特·纳伦德兰；沃尔夫拉姆，D.A。 1 2000 完全一元RPO理论是可判定的。 Zbl 0983.68175号 巴利亚特·纳伦德兰；迈克尔·鲁西诺维奇 1 2000 不相交理论中的非对称统一和组合问题。 Zbl 1405.68315号 塞尔达，埃尔巴图尔；迪帕克·卡普尔；安德鲁·马歇尔。；凯瑟琳·梅多斯；巴利亚特·纳伦德兰；克里斯托夫·林盖森 1 2014 统一模同步分配。 Zbl 1358.03026号 阿南塔拉曼，湿婆；塞尔达，埃尔巴图尔；克里斯托弗·林奇；巴利亚特·纳伦德兰；迈克尔·鲁西诺维奇 1 2012 统一模ACUI加同态/分配性。 兹比尔1278.68246 阿南塔拉曼，湿婆；巴利亚特·纳伦德兰；迈克尔·鲁西诺维奇 1 2003 与某些单词方程具有反向关系的统一模列表。 兹伯利07178966 阿南塔拉曼，湿婆；彼得·希布斯；巴利亚特·纳伦德兰；迈克尔·鲁西诺维奇 1 2019 决定有序术语重写系统的汇合。 Zbl 1365.68298号 休伯特·科蒙；巴利亚特·纳伦德兰；罗伯特·纽文胡斯；迈克尔·鲁西诺维奇 1 2003 过程代数中的统一与匹配。 Zbl 0905.68091号 郭青；巴利亚特·纳伦德兰；桑迪普·K·舒克拉。 1 1998 自动合成密码验证的符号方法中的算法问题。 Zbl 07497926号 林海；克里斯托弗·林奇；安德鲁·马歇尔。；凯瑟琳·梅多斯。；巴利亚特·纳伦德兰；维埃娜·拉维珊卡；布兰登·罗泽克 三 2021 恢复基本收缩模量。 兹比尔1435.68371 金、多汉；克里斯托弗·林奇；巴利亚特·纳伦德兰 三 2019 非对称统一和不统一。 Zbl 1444.68088号 维埃娜·拉维珊卡；金伯利·A·康奈尔。；巴利亚特·纳伦德兰 2 2019 与某些单词方程具有反向关系的统一模列表。 兹伯利07178966 阿南塔拉曼，湿婆；彼得·希布斯；巴利亚特·纳伦德兰；迈克尔·鲁西诺维奇 1 2019 句法理论层次组合中的统一与匹配。 Zbl 1471.68108号 塞尔达，埃尔巴图尔；迪帕克·卡普尔；安德鲁·马歇尔。；巴利亚特·纳伦德兰；克里斯托夫·林盖森 2 2015 关于统一模单边分配性：算法、变量和不对称性。 Zbl 1391.68065号 安德鲁·马歇尔。；凯瑟琳·梅多斯；巴利亚特·纳伦德兰 2 2015 不相交理论中的非对称统一和组合问题。 Zbl 1405.68315号 塞尔达，埃尔巴图尔；迪帕克·卡普尔；安德鲁·马歇尔。；凯瑟琳·梅多斯；巴利亚特·纳伦德兰；克里斯托夫·林盖森 1 2014 关于前向闭包和有限变分性质。 Zbl 1398.68271号 克里斯托弗·布沙尔；金伯利·A·杰罗。；克里斯托弗·林奇；巴利亚特·纳伦德兰 14 2013 非对称统一：密码协议分析的新统一范式。 Zbl 1381.68264号 塞尔达，埃尔巴图尔；圣地亚哥埃斯科瓦尔；迪帕克·卡普尔；刘志强；克里斯托弗·林奇（Christopher A.Lynch）。；凯瑟琳·梅多斯；何塞·梅塞盖尔；巴利亚特·纳伦德兰；圣地亚哥，索尼娅；拉尔夫·萨西 5 2013 分层组合。 Zbl 1381.68265号 塞尔达，埃尔巴图尔；迪帕克·卡普尔；安德鲁·马歇尔。；巴利亚特·纳伦德兰；克里斯托夫·林盖森 三 2013 统一模同态加密。 Zbl 1242.68096号 阿南塔拉曼，湿婆；林海；克里斯托弗·林奇；巴利亚特·纳伦德兰；迈克尔·鲁西诺维奇 三 2012 统一模同步分配。 Zbl 1358.03026号 阿南塔拉曼，湿婆；塞尔达，埃尔巴图尔；克里斯托弗·林奇；巴利亚特·纳伦德兰；迈克尔·鲁西诺维奇 1 2012 分配求幂（子）理论的统一。 Zbl 1345.68190号 塞尔达，埃尔巴图尔；安德鲁·马歇尔。；迪帕克·卡普尔；巴利亚特·纳伦德兰 4 2011 关于扩展正则表达式。 Zbl 1234.68202号 本杰明·卡尔；巴利亚特·纳伦德兰 9 2009 统一模同态加密。 Zbl 1193.68231号 阿南塔拉曼，湿婆；林海；克里斯托弗·林奇；巴利亚特·纳伦德兰；米歇尔·鲁西诺维奇 2 2009 带帽入侵者。 兹比尔1203.94091 阿南塔拉曼，湿婆；巴利亚特·纳伦德兰；迈克尔·鲁西诺维奇 10 2007 dag自动机的闭包性质和决策问题。 Zbl 1182.68099号 阿南塔拉曼，湿婆；巴利亚特·纳伦德兰；迈克尔·鲁西诺维奇 11 2005 统一模ACUI加分布公理。 Zbl 1063.03006号 阿南塔拉曼，湿婆；巴利亚特·纳伦德兰；迈克尔·鲁西诺维奇 2 2004 一种用于分析使用模幂运算的协议的E统一算法。 Zbl 1043.94537号 迪帕克·卡普尔；巴利亚特·纳伦德兰；王丽达 9 2003 酸化是NEXPTIME可判定的。 Zbl 1124.68370号 阿南塔拉曼，湿婆；巴利亚特·纳伦德兰；迈克尔·鲁西诺维奇 2 2003 统一模ACUI加同态/分配性。 Zbl 1278.68246号 阿南塔拉曼，湿婆；巴利亚特·纳伦德兰；迈克尔·鲁西诺维奇 1 2003 决定有序术语重写系统的汇合。 Zbl 1365.68298号 休伯特·科蒙；巴利亚特·纳伦德兰；罗伯特·纽文胡斯；迈克尔·鲁西诺维奇 1 2003 描述逻辑中概念术语的统一。 Zbl 0970.68166号 Franz巴德；巴利亚特·纳伦德兰 33 2001 具有一个变量的同时刚性E统一的可判定性和复杂性以及相关结果。 Zbl 0944.68103号 德吉亚雷夫，A。；Y.古雷维奇。；纳伦德兰，P。；韦恩斯，M。；沃伦科夫，A。 7 2000 幂零统一和匹配问题的复杂性。 Zbl 1045.68603号 郭青；巴利亚特·纳伦德兰；沃尔夫拉姆，D.A。 1 2000 完全一元RPO理论是可判定的。 Zbl 0983.68175号 巴利亚特·纳伦德兰；迈克尔·鲁西诺维奇 1 2000 重写技术和应用程序。第十届国际会议，RTA-99。意大利特伦托，1999年7月2-4日。诉讼程序。 Zbl 0916.00018号 三 1999 RPO约束求解是NP问题。 Zbl 0940.68070号 巴利亚特·纳伦德兰；迈克尔·鲁西诺维奇；拉凯什·维尔玛 三 1999 有序重写中的决策问题。 兹比尔0945.68520 H·科蒙。；纳伦德兰，P。；Nieuwenhuis，R。；Rusinovitch，M。 4 1998 与一个变量同时刚性统一的可判定性。 Zbl 0903.03007号 安纳托利·德吉亚列夫；尤里·古里维奇；巴利亚特·纳伦德兰；玛格斯·维纳斯；安德烈·沃伦科夫 三 1998 过程代数中的统一与匹配。 兹比尔0905.68091 郭青；巴利亚特·纳伦德兰；桑迪普·K·舒克拉。 1 1998 关于笛卡尔闭范畴的统一问题。 Zbl 0882.03044号 巴利亚特·纳伦德兰；弗兰克·芬宁；理查德·斯塔特曼 6 1997 对于汇合的有限个特殊字符串重写系统，单词匹配问题是不可判定的。 Zbl 1401.68138号 巴利亚特·纳伦德兰；弗里德里希·奥托 2 1997 可变交错理论的单方程统一与同时方程统一及方程统一。 Zbl 0882.68079号 巴利亚特·纳伦德兰；弗里德里希·奥托 2 1997 任何基结合交换理论都有一个有限的正则系统。 兹比尔0878.68076 巴利亚特·纳伦德兰；米歇尔·鲁西诺维奇 9 1996 模幂零的统一与匹配。 Zbl 1412.68229号 郭青；巴利亚特·纳伦德兰；沃尔夫拉姆，D.A。 三 1996 方程统一的一些独立性结果。 Zbl 1503.68146号 弗里德里希·奥托；巴利亚特·纳伦德兰；丹尼尔·多尔蒂（Daniel J.Dougherty）。 1 1995 一种在多项式时间内寻找地面重写规则规范集的算法。 Zbl 0779.68050号 吉恩·盖利埃；巴利亚特·纳伦德兰；大卫·普拉斯泰德；斯坦·拉茨；韦恩·斯奈德 16 1993 弱合流一元串重写系统。 Zbl 0778.68049号 马德勒，K。；纳伦德兰，P。；F.奥托。；张，L。 7 1993 结合交换算子统一问题的复杂性。 兹比尔0781.68076 迪帕克·卡普尔；巴利亚特·纳伦德兰 24 1992 利用方程组和刚性（E）-统一证明定理。 Zbl 0799.68171号 吉恩·盖利埃；巴利亚特·纳伦德兰；斯坦·拉茨；韦恩·斯奈德 17 1992 充分完整性、地面可简化性及其复杂性。 Zbl 0721.68032号 迪帕克·卡普尔；巴利亚特·纳伦德兰；丹尼尔·罗森克兰茨。；张汉涛 20 1991 使用测试集自动进行无感应感应。 Zbl 0724.68079号 迪帕克·卡普尔；巴利亚特·纳伦德兰；张汉涛 12 1991 任何基结合交换理论都有一个有限的正则系统。 Zbl 1509.03044号 巴利亚特·纳伦德兰；米歇尔·鲁西诺维奇 10 1991 一元字符串重写系统呈现组的专用完成过程。 Zbl 0769.68061号 马德勒，K。；纳伦德兰，P。；F.奥托。 6 1991 一个有限的特殊字符串重写系统是否表示一个群是不可判定的。 Zbl 0749.20032号 巴利亚特·纳伦德兰；奥斯；科尔姆·杜兰格；弗里德里希·奥托 4 1991 半统一。 Zbl 0732.68063号 迪帕克·卡普尔；大卫·穆瑟；巴利亚特·纳伦德兰；乔纳森·斯蒂尔曼 2 1991 术语重写系统的地面影响。 Zbl 0699.68041号 迪帕克·卡普尔；巴利亚特·纳伦德兰；弗里德里希·奥托 16 1990 刚性E统一：NP完全性及其在等式匹配中的应用。 Zbl 0709.68080号 吉恩·盖利埃；巴利亚特·纳伦德兰；大卫·普拉斯泰德；韦恩·斯奈德 7 1990 关于方程统一的一些结果。 兹比尔1509.68122 巴利亚特·纳伦德兰；弗里德里希·奥托 6 1990 一元Thue系统在正则集上是否正则是可以判定的。 Zbl 0722.68071号 巴利亚特·纳伦德兰 三 1990 有限呈现半群中的对消性。 Zbl 0682.20046号 巴利亚特·纳伦德兰；奥斯；Dúnlaing，科尔姆 8 1989 有限一元Church-Rosser-Tue系统的一些多项式时间算法。 Zbl 0677.68050号 巴利亚特·纳伦德兰；弗里德里希·奥托 2 1989 Knuth-Bendix完成程序是否生成交叉对尚不确定。 Zbl 1494.68119号 巴利亚特·纳伦德兰；乔纳森·斯蒂尔曼 2 1989 Church-Rosser-Tue系统和正式语言。 Zbl 0652.68093号 罗伯特·麦克诺顿；巴利亚特·纳伦德兰；弗里德里希·奥托 52 1988 在Knuth-Bendix完井程序中只需考虑素数叠加。 Zbl 0651.68029号 迪帕克·卡普尔；大卫·穆瑟。；巴利亚特·纳伦德兰 23 1988 对于仅包含长度缩减规则和单个交换规则的Thue系统，预完美性是不可判定的。 Zbl 0653.03026号 巴利亚特·纳伦德兰；弗里德里希·奥托 11 1988 有限重减和合流Thue系统的有限阶元。 兹伯利0673.68025 巴利亚特·纳伦德兰；弗里德里希·奥托 6 1988 半统一。 Zbl 0667.68042号 迪帕克·卡普尔；大卫·穆瑟；巴利亚特·纳伦德兰；乔纳森·斯蒂尔曼 4 1988 寻找多项式时间内等价于有限组基本方程的正则重写系统。 Zbl 0661.68093号 吉恩·盖利埃；巴利亚特·纳伦德兰；大卫·普拉斯泰德；斯坦·拉茨；韦恩·斯奈德 三 1988 关于项重写系统的充分完备性及其相关性质。 Zbl 0594.68035号 迪帕克·卡普尔；巴利亚特·纳伦德兰；张汉涛 42 1987 匹配问题的复杂性。 Zbl 0638.68036号 丹·贝纳纳夫；迪帕克·卡普尔；巴利亚特·纳伦德兰 23 1987 匹配、统一和复杂性。 Zbl 0626.68036号 迪帕克·卡普尔；巴利亚特·纳伦德兰 10 1987 特殊幺半群和特殊Thue系统。 Zbl 0618.20039号 R·麦克诺顿。；纳伦德兰，P。 8 1987 集合统一和匹配问题的NP-完备性。 Zbl 0643.68054号 迪帕克·卡普尔；巴利亚特·纳伦德兰 23 1986 使用测试集进行归纳证明。 兹比尔0642.68034 迪帕克·卡普尔；巴利亚特·纳伦德兰；张汉涛 21 1986 有限完全重写系统的循环等式和共轭问题。 兹比尔0619.68033 巴利亚特·纳伦德兰；弗里德里希·奥托 8 1986 充分完备性的复杂性。 Zbl 0623.68047号 迪帕克·卡普尔；巴利亚特·纳伦德兰；张汉涛 2 1986 关于正则Thue系统的正则等价问题。 Zbl 0609.68027号 巴利亚特·纳伦德兰 1 1986 具有可判定词问题且没有等价有限正则系统的有限Thue系统。 Zbl 0588.03023号 迪帕克·卡普尔；巴利亚特·纳伦德兰 38 1985 Knuth-Bendix完井程序和Thue系统。 Zbl 0576.68010号 迪帕克·卡普尔；巴利亚特·纳伦德兰 25 1985 一种用于证明术语重写系统终止的路径排序。 Zbl 0567.68026号 卡普尔，D。；纳伦德兰，P。；西瓦库马尔，G。 16 1985 同余语言某些决策问题的复杂性。 Zbl 0607.68055号 巴利亚特·纳伦德兰；奥斯；科尔姆·杜兰格；海因里希·罗列茨切克 14 1985 对有限表示交换代数上的词问题和统一问题的理想理论方法。 Zbl 0581.68039号 阿卜杜拉·坎德里·罗迪；迪帕克·卡普尔；巴利亚特·纳伦德兰 14 1985 用于测试Thue系统的Church-Rosser属性的\（O（|T|^3）\）算法。 Zbl 0563.03018号 卡普尔，D。；Krishnamoorthy，M.S。；R·麦克诺顿。；纳伦德兰，P。 13 1985 关于递归路径排序。 Zbl 0602.68031号 Krishnamoorthy，M.S。；纳伦德兰，P。 12 1985 复杂性导致了幺半群的共轭问题。 Zbl 0588.03022号 巴利亚特·纳伦德兰；弗里德里希·奥托 11 1985 匹配问题的复杂性。 Zbl 0576.68038号 丹·贝纳纳夫；迪帕克·卡普尔；巴利亚特·纳伦德兰 8 1985 Church-Rosser财产和特殊的Thue系统。 Zbl 0586.03028号 卡普尔，D。；纳伦德兰，P。；Krishnamoorthy，M.S。；R·麦克诺顿。 5 1985 Thue系统的不可判定性。 Zbl 0545.03022号 巴利亚特·纳伦德兰；罗伯特·麦克诺顿 11 1984 有限Church-Rosser-Tue系统的一致共轭问题是NP-完全的。 Zbl 0592.03025号 巴利亚特·纳伦德兰；弗里德里希·奥托；卡尔·温克尔曼 10 1984 Knuth Bendix完井程序和Thue系统。 Zbl 0535.68012号 卡普尔，D。；纳伦德兰，P。 7 1983 所有引用的出版物 前5名被引用出版物 全部的 前5名508位作者引用 63 弗里德里希·奥托 39 巴利亚特·纳伦德兰 22 迪帕克·卡普尔 17 米歇尔·鲁西诺维奇 16 Franz巴德 16 马丁·库特里布 13 沃尔克·迪克特 13 圣地亚哥埃斯科瓦尔 12 何塞·梅塞盖尔·瓜伊塔 9 玛丽贝尔·费尔南德斯 9 克劳斯·马德勒（Klaus E.Madlener）。 9 安德烈亚斯·马尔彻 9 安德烈·沃伦科夫 9 张路欣 8 毛里西奥·阿亚拉·林科恩 8 纳鸿·德肖维茨 8 亚历山大·奥霍金 8 Daniele Nantes Sobrinho 7 马库斯·霍尔泽 7 林奇，Christopher A。 7 罗伯特·纽文胡斯 7 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 6 阿南塔拉曼，湿婆 6 玛丽亚·保拉（Maria Paola Bonacina） 6 亚尼克·骑士 6 托马斯·尤金斯基 6 小林，Yuji 6 弗朗蒂舍克先生 6 美国雷迪。 6 朱莉娅·萨皮娜 6 塞尼泽格斯，热罗 6 莎拉·温克勒 6 张汉涛 5 莱因哈德·邦根 5 休伯特·科蒙 5 迪特尔·霍夫鲍尔 5 佛罗伦萨·杰克马尔 5 马库斯·洛伊 5 凯瑟琳·梅多斯。 5 韦恩·斯奈德 4 玛丽亚·阿尔普恩特 4 华盛顿州，de Carvalho-Segundo 4 斯特凡尼德劳恩 4 吉尔根·吉斯尔 4 伊夫·吉拉德 4 尤里·古里维奇 4 Jean-Pierre Jouannaud 4 克洛德·基什内尔 4 赫莱内·基什内尔 4 扬·威廉·克鲁普 4 史蒂夫·克莱默 4 菲利普·马尔博斯 4 安德鲁·马歇尔。 4 乌苏拉·马丁 4 罗伯特·麦克诺顿 4 阿尔特·米德尔多普 4 巴巴拉·莫拉夫斯卡 4 托比亚斯·尼普科 4 Kazuhiro绪方 4 阿尔伯特·鲁比奥 4 曼弗雷德·施密特·沙乌 4 苏菲·蒂森 4 瓦格伏尔盖，桑多尔 4 克里斯托夫·韦登巴赫 4 马蒂亚斯·温德兰特 三 高仁青藤 三 尤尔根阿文豪斯 三 利奥·巴赫迈尔 三 彼得·贝克曼 三 黛米斯·巴利斯 三 尼古拉·S·比约纳。 三 斯特凡·博格沃德 三 阿黛尔·布胡拉 三 弗朗索瓦·布隆萨德 三 Ciobâcă，沙特凡 三 迈克尔·科迪什 三 马克斯·多切特 三 莱昂纳多·德·莫拉 三 安纳托利·伊万诺维奇·德吉亚列夫 三 弗朗西斯科·杜兰 三 塞尔达，埃尔巴图尔 三 多米尼克·D·弗雷登伯格。 三 高基町五指 三 伯恩哈德·格拉姆利希 三 米基·赫尔曼 三 Jieh乡 三 伊曼纽尔·库纳利斯 三 皮埃尔·莱斯坎 三 林海 三 安托尼奥·马莱罗 三 巴夫洛斯·马兰蒂迪斯 三 中村，Masaki 三 Nyberg-Brodda，Carl-Fredrik公司 三 科尔姆·P·奥杜兰。 三 莱因哈德，皮克勒 三 罗马克里希南，I.V。 三 克里斯托夫·林盖森 三 菲利普·吕默 三 约阿希姆·斯坦巴赫 2 Akutsu、Tatsuya …和408多位作者 全部的 前5名67篇连载文章被引用 93 理论计算机科学 38 符号计算杂志 32 信息与计算 26 自动推理杂志 16 信息处理信件 8 信息学报 8 数学系统理论 8 国际计算机科学基础杂志 8 计算系统理论 7 工程、通信和计算中的应用代数 6 计算机与系统科学杂志 6 MSCS公司。计算机科学中的数学结构 6 计算机科学中的逻辑方法 5 半群论坛 5 国际代数与计算杂志 5 程序设计中的逻辑和代数方法杂志 4 人工智能 4 RAIRO公司。Informatique Théorique et Applications公司 三 代数杂志 三 符号逻辑杂志 三 美国数学学会会刊 三 机器学习 三 函数编程杂志 三 数学与人工智能年鉴 三 RAIRO公司。理论信息学及其应用 2 离散应用数学 2 纯粹与应用代数杂志 2 纯逻辑与应用逻辑年鉴 2 计算的形式方面 2 国际计算机数学杂志 2 自动机、语言和组合数学杂志 2 软计算 2 计算机基础理论 2 逻辑与代数程序设计杂志 2 逻辑程序设计理论与实践 2 RAIRO公司。理论信息学及其应用 2 西伯利亚联邦大学学报。数学和物理 1 代数通讯 1 离散数学 1 剑桥哲学学会数学进展杂志 1 数学进展 1 代数与逻辑 1 数学合成 1 信息科学 1 数学期刊 1 圣母院形式逻辑杂志 1 美国数学学会会刊 1 西伯利亚数学杂志 1 Studia Logica公司 1 计算机科学与技术杂志 1 控制论与系统分析 1 系统设计中的形式化方法 1 应用的分类结构 1 应用非经典逻辑杂志 1 约束条件 1 图形算法与应用杂志 1 美国计算机学会期刊 1 高阶和符号计算 1 澳大利亚数学学会杂志 1 系统科学与复杂性杂志 1 ACM计算逻辑汇刊 1 应用逻辑杂志 1 伊朗模糊系统杂志 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 泛逻辑 1 第比利斯数学杂志 1 膜计算杂志 全部的 前5名17个领域引用 485 计算机科学（68至XX） 182 数理逻辑与基础（03-XX） 65 群论与推广（20-XX） 23 信息与通信理论、电路（94-XX） 13 范畴理论；同调代数（18-XX） 10 一般代数系统（08-XX） 8 交换代数（13-XX） 6 组合数学（05-XX） 6 阶、格、有序代数结构（06-XX） 6 结合环与代数（16-XX） 2 历史和传记（01-XX） 1 数论（11-XX） 1 场论与多项式（12-XX） 1 代数几何（14-XX） 1 非结合环与代数（17-XX） 1 特殊功能（33至XX） 1 代数拓扑（55-XX） 按年份列出的引文