@InCollection{zbMATH07650002，作者={科恩伯格、丹尼尔和兰格、马丁}，Title={完全混合{{\（\mu\）}}-演算}，BookTitle={第24届时间表征与推理国际研讨会，2017年《时代》，比利时蒙斯，2017年10月16-18日。诉讼}，国际标准图书编号={978-3-95977-052-1}，页码={16}，注={Id/No 17}，年份={2017年}，出版商={Wadern:Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，语言={英语}，DOI={10.4230/LIPIcs.TIME.2017.17}，关键词={68Q60,03B44,03B45,68Q85}，zbMATH={7650002}，Zbl={1515.68184}}