@收款{zbMATH06664938，作者={Larsen，Kim G.和Mardare，Radu和Xue，Bingtian}，标题={无交替加权微积分：可判定性和完备性}，BookTitle={第31届编程语义数学基础会议（MFPS XXXI）会议记录，荷兰奈梅亨，2015年6月22日至25日}，页码＝{289-313}，年份={2015年}，出版商={阿姆斯特丹：爱思唯尔}，语言={英语}，DOI={10.1016/j.entcs.2015.12.018}，关键词={68Q60,03B45,68Q55,68Q85}，zbMATH={6664938}，Zbl={1351.68164}}