@收款{zbMATH07314151，作者={Komorida，Yuichi}，标题={注入物和纤维密度提升}，BookTitle={计算机科学中的协同代数方法。第15届IFIP WG 1.3国际研讨会，CMCS 2020，与ETAPS 2020联合举办，爱尔兰都柏林，2020年4月25日至26日。诉讼}，国际标准图书编号={978-3-030-57200-6；978-3-0.30-57201-3}，页码={112--132}，年份={2020年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-57201-3_7}，关键词={68Q65}，zbMATH={7314151}}