关键字的关键字搜索结果：代数精化--与关键字搜索查询匹配的新结果（每天更新）。 https://dl.acm.org/action/doSearch？type=advanced&af=R&KeywordRaw=代数+细化&内容=标准&扩展=全部&目标=默认&排序依据=相关性 计算机协会：查询关键字搜索 计算机协会 英语-美国 网址：http://www.atypon.com/images/atypon_logo_small.gif http://www.atypon.com网站 https://dl.acm.org/doi/abs/10.1093/logcom/14.2.145？af=R&KeywordRaw=代数+细化&内容=标准&扩展=全部&目标=默认&排序依据=相关性 逻辑与计算杂志，<a href=“https://dl.acm.org/toc/jolc/2004/14/2“>第14卷，第2期，第145-178页，2004年4月<br/> 《逻辑与计算杂志》，第14卷，第2期，第145-178页，2004年4月<br/> 厕所规范 doi:10.1093/logcom/14.2.145 2004年4月1日T08:00:00Z 马克·艾基尔 逻辑与计算杂志 14 2 145 178 2004年4月1日T08:00:00Z 2004年4月1日T08:00:00Z 10.1093/log.com/14.2.145 https://dl.acm.org/doi/abs/10.1093/logcom/14.2.145？af=R&KeywordRaw=代数+细化&内容=标准&扩展=全部&目标=默认&排序依据=相关性