编辑配置文件（在新选项卡中打开） 卡洛斯·迪亚斯（Carlos A.Romero-Díaz）。 合著者距离 作者ID： 罗美罗-二氮杂环己烷-a 发布日期： 卡洛斯·迪亚斯（Carlos A.Romero-Díaz）。;罗梅罗·迪亚斯，C.A。 已编制索引的文档： 5出版物自2008年起 合著者： 2合著者具有5联合出版物 83位合作作者 合著者 0 单作者的 5 马里奥·罗德里格斯-阿塔莱霍 2 拉斐尔·卡巴列罗（Rafael E.Caballero）。 系列 2 逻辑程序设计理论与实践 领域 5 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用22次13文件 引用人▼ 年份▼ 重温定量逻辑编程。 Zbl 1137.68341号 马里奥·罗德里格斯-阿塔莱霍;卡洛斯·迪亚斯（Carlos A.Romero-Díaz）。 9 2008 CLP的一种声明性语义，具有限定和邻近性。 兹比尔1209.68097 马里奥·罗德里格斯-阿塔莱霍;卡洛斯·迪亚斯（Carlos A.Romero-Díaz）。 7 2010 函数逻辑编程中的合格计算。 Zbl 1251.68053号 拉斐尔·卡巴列罗;马里奥·罗德里格斯-阿塔莱霍;卡洛斯·迪亚斯（Carlos A.Romero-Díaz）。 2 2009 使用双值谓词的限定逻辑编程。 Zbl 1337.68055号 马里奥·罗德里格斯-阿塔莱霍;罗梅罗·迪亚斯，卡洛斯·A。 2 2009 CLP基于转换的实施，具有限定性和接近性。 Zbl 1295.68057号 卡巴列罗，R。;罗德里格斯-阿塔莱霍，M。;罗梅罗·迪亚斯，C.A。 2 2014 CLP基于转换的实施，具有限定性和接近性。 Zbl 1295.68057号 卡巴列罗，R。;罗德里格斯-阿塔莱霍，M。;罗梅罗·迪亚斯，C.A。 2 2014 CLP的一种声明性语义，具有限定和邻近性。 兹比尔1209.68097 马里奥·罗德里格斯-阿塔莱霍;卡洛斯·迪亚斯（Carlos A.Romero-Díaz）。 7 2010 函数逻辑编程中的合格计算。 Zbl 1251.68053号 拉斐尔·卡巴列罗;马里奥·罗德里格斯-阿塔莱霍;罗梅罗·迪亚斯，卡洛斯·A。 2 2009 使用双值谓词的限定逻辑编程。 Zbl 1337.68055号 马里奥·罗德里格斯-阿塔莱霍;卡洛斯·迪亚斯（Carlos A.Romero-Díaz）。 2 2009 重温定量逻辑编程。 Zbl 1137.68341号 马里奥·罗德里格斯-阿塔莱霍;卡洛斯·迪亚斯（Carlos A.Romero-Díaz）。 9 2008 所有引用出版物 前5名被引用出版物 全部的 前5名11位作者引用 5 马里奥·罗德里格斯-阿塔莱霍 5 卡洛斯·迪亚斯（Carlos A.Romero-Díaz）。 4 莫雷诺，吉纳斯 三 帕斯卡尔·朱利安·伊兰佐 三 詹姆·佩纳巴德 三 克莱门特·鲁比奥·曼扎诺 2 拉斐尔·卡巴列罗（Rafael E.Caballero）。 2 佩德罗·莫西洛。 1 特默尔库西亚 1 保罗，克莱奥 1 佩雷拉·法里尼亚，马汀 4篇连载文章中引用 2 模糊集与系统 2 国际计算机数学杂志 2 逻辑程序设计理论与实践 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 13 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 1 有序，格，有序代数结构（06-XX） 按年份列出的引文