编辑配置文件（在新选项卡中打开） 亚历克斯·霍恩 合著者距离 作者ID： 角.角 发布日期： 亚历克斯·霍恩 编入索引的文档： 1出版物自2015年起 合著者： 1位合著者具有1联合出版物 103合著作者 合著者 0 单作者的 1 丹尼尔·科宁 系列 领域 1 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用1中的时间1文件 引用人▼ 年份▼ 基于SAT/SMT的弱内存并发符号编码的偏序语义。 Zbl 1347.68268号 亚历克斯·霍恩;丹尼尔·克罗宁 1 2015 基于SAT/SMT的弱内存并发符号编码的偏序语义。 Zbl 1347.68268号 亚历克斯·霍恩;丹尼尔·克罗宁 1 2015 3位作者引用 1 保罗·布鲁内特 1 Damien Pous 1 乔治·斯特鲁斯 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文