编辑配置文件（在新选项卡中打开） 阿利亚克巴尔·萨菲连 合著者距离 作者ID： 萨菲利安阿利克巴 发布日期： 阿利亚克巴尔·萨菲连 已编制索引的文档： 4出版物自2009年以来，包括1个附加arXiv预打印 合著者： 4位合著者具有4联合出版物 88位合作作者 合著者 0 单作者的 三 迪斯金，Zinovy 三 托马斯·斯蒂芬·爱德华·迈鲍姆 2 肖姆·本·达维德 1 法扎德·迪德瓦尔 系列 1 计算机科学科学年鉴 1 程序设计中的逻辑和代数方法杂志 领域 三 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的出版物