@收款{zbMATH07204435，作者={菲奥雷、马塞洛和萨维尔、菲利普}，标题={列出具有代数结构的对象}，BookTitle={第二届计算和扣除形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼}，国际标准图书编号={978-3-95977-047-7}，页码={18}，注={Id/No 16}，年份={2017年}，出版商=｛Wadern:Schloss Dagstuhl-Leibniz Zentrum f｛\“u｝r Informatik｝，语言={英语}，DOI={10.4230/LIPIcs.FSCD.2017.16}，关键词={68N18,68N30,68Q55}，zbMATH={7204435}，Zbl=｛1441.68016｝}