编辑配置文件（在新选项卡中打开） 米盖尔·阿雷亚斯 合著者距离 作者ID： 阿雷亚斯·米格尔 发布日期： 米盖尔·阿雷亚斯 外部链接： ORCID公司 已编制索引的文档： 4出版物自2011年起 合著者： 1名合著者具有4联合出版物 35位合作作者 合著者 0 单作者的 4 里卡多·罗查 系列 三 逻辑程序设计理论与实践 1 计算 领域 4 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用3中的次2文件 引用人▼ 年份▼ 使用公共表空间实现多线程本地制表。 Zbl 1260.68056号 米盖尔·阿雷亚斯；里卡多·罗查 2 2012 结合基于线性的策略对逻辑程序进行表格评估。 兹比尔1222.68051 米盖尔·阿雷亚斯；里卡多·罗查 1 2011 使用公共表空间实现多线程本地制表。 Zbl 1260.68056号 米盖尔·阿雷亚斯；里卡多·罗查 2 2012 结合基于线性的策略对逻辑程序进行表格评估。 兹比尔1222.68051 米盖尔·阿雷亚斯；里卡多·罗查 1 2011 全部的 前5名7位作者引用 2 里卡多·罗查 1 米盖尔·阿雷亚斯 1 阿戈斯蒂诺·多维尔 1 安德烈亚·福米萨诺 1 古普塔，戈帕尔 1 曼努埃尔五世（Manuel V.Hermenegildo）。 1 恩里科·蓬泰利 连载1篇 2 逻辑程序设计理论与实践 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文