@第{zbMATH06987092条，作者={Forejt、Vojt{{e}}ch和Jan{c}}ar、Petr和Kiefer、Stefan和Worrell、James}，Title={概率双相似性的博弈表征，及其在下推自动机中的应用}，FJournal={计算机科学中的逻辑方法}，日志={Log.Methods Compute.Sci.}，ISSN＝{1860-5974}，体积={14}，数字＝｛4｝，页码={25}，注={Id/No 13}，年份={2018年}，语言={英语}，DOI={10.23638/LMCS-14（4:13）2018}，关键词={68Q45,68Q25,68Q85}，zbMATH={6987092}，Zbl={1407.68252}}