@收款{zbMATH06792360，作者={Malbos，Philippe and Mimram，Samuel}，标题={项重写系统的同调计算}，BookTitle={2016年6月22日至26日，葡萄牙波尔图，FSCD 2016，第一届计算和推导形式结构国际会议。诉讼}，国际标准图书编号={978-3-95977-010-1}，页码={17}，注={Id/No 27}，年份={2016年}，出版商={Wadern:Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，语言={英语}，DOI={10.4230/LIPIcs.FSCD.2016.27}，关键词={68Q42,08A70,18C10}，zbMATH={6792360}，Zbl={1387.68146}}