@第{zbMATH07327943条,作者={Aghajohari,Milad and Avni,Guy and Henzinger,Thomas A.},标题={离散投标无限长博弈中的确定性},FJournal={计算机科学中的逻辑方法},日志={Log.Methods Compute.Sci.},ISSN={1860-5974},体积={17},数字={1},页码={23},注={Id/No 10},年份={2021},语言={英语},关键词={91A43,68Q45,91A50},URL={lmcs.episciences.org/7148},zbMATH={7327943},Zbl={1509.91007}}