@收款{zbMATH06862053，作者={Larsen，Kim G.和Mardare，Radu和Xue，Bingtian}，标题={概率{{\（\mu\）}}-演算：可判定性和完全公理化}，BookTitle={第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016），印度钦奈，2016年12月13-15日。诉讼}，国际标准图书编号={978-3-95977-027-9}，页码={18}，注={Id/No 25}，年份={2016年}，出版商={Wadern:Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，语言={英语}，DOI={10.4230/LIPIcs.FSTTCS.2016.25}，关键词={03B45,03B25,03B48,03B70}，zbMATH＝{6862053}，Zbl={1434.03072}}