巴利亚特·纳伦德兰;弗兰克·芬宁;理查德·斯塔特曼 关于笛卡尔闭范畴的统一问题。 (英语) Zbl 0882.03044号 J.塞姆。日志。 62,第2期,636-647(1997).MSC公司:03天35分 18日第15天 68问题55 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Narendran}等人,J.Symb。日志。62,第2号,636--647(1997;Zbl 0882.03044) 全文: 内政部
迪帕克·卡普尔;巴利亚特·纳伦德兰 结合交换算子统一问题的复杂性。 (英语) Zbl 0781.68076号 J.汽车。推理 9,第2期,261-288(1992).MSC公司:2012年第68季度 68吨15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kapur}和\textit{P.Narendran},J.Autom。推理9,No.2,261--288(1992;Zbl 0781.68076) 全文: 内政部
巴利亚特·纳伦德兰;米歇尔·鲁西诺维奇 任何基态结合交换理论都有一个有限的正则系统。 (英语) Zbl 1509.03044号 罗纳德·V·书(编辑),重写技术与应用。第四届国际会议,RTA-91,意大利科摩,1991年4月10-12日。诉讼程序。柏林:Springer-Verlag。勒克特。票据计算。科学。488, 423-434 (1991).MSC公司:03B35型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Narendran}和\textit{M.Rusinovitch},莱克特。票据计算。科学。488423-434(1991年;Zbl 1509.03044) 全文: 内政部 链接
迪帕克·卡普尔;巴利亚特·纳伦德兰;丹尼尔·罗森克兰茨。;张汉涛 充分完整性、地面可简化性及其复杂性。 (英语) Zbl 0721.68032号 学报信息。 28,第4期,311-350(1991). 审核人:S.P.Yukna(维尔纽斯) MSC公司:2012年第68季度 68问题65 65年第68季度 2015年3月1日 03天 PDF格式BibTeX公司 XML格式引用 \textit{D.Kapur}等人,《学报》第28期,第4期,第311--350页(1991年;Zbl 0721.68032) 全文: 内政部
迪帕克·卡普尔;大卫·穆瑟。;巴利亚特·纳伦德兰 在Knuth-Bendix完井程序中只需考虑素数叠加。 (英语) Zbl 0651.68029号 J.塞姆。计算。 6,第1期,第19-36页(1988年).MSC公司:68问题65 68瓦30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Kapur}等人,J.Symb。计算。6,编号1,19-36(1988;Zbl 0651.68029) 全文: 内政部
丹·贝纳纳夫;迪帕克·卡普尔;巴利亚特·纳伦德兰 匹配问题的复杂性。 (英语) Zbl 0638.68036号 J.塞姆。计算。 3, 203-216 (1987).MSC公司:65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Benanav}等人,J.Symb。计算。3203--216(1987;Zbl 0638.68036) 全文: 内政部