@文章{zbMATH07317637，作者={Dutle，Aaron and Moscato，Mariano and Titolo，Laura and Mu{n}oz，C{'e}sar and Anderson，Gregory and Bobot，Fran{C}ois}，标题={紧凑位置报告算法的形式分析}，FJournal={计算的形式方面}，日志={正式Asp.Compute.}，ISSN={0934-5043}，体积={33}，数字={1}，Pages＝{65-86}，年份={2021}，语言={英语}，DOI={10.1007/s00165-019-00504-0}，关键词={68U35,65Y04,68P30,68Q60,68W40}，zbMATH={7317637}，Zbl={1458.68273}}