@第{zbMATH06636997条，作者={芬克尔，奥利维尔}，标题={由2磁带自动机指定的无限游戏}，FJournal={纯逻辑与应用逻辑年鉴}，日志={Ann.Pure Appl.Logic}，ISSN={0168-0072}，体积={167}，数字={12}，页码={1184--1212}，年份={2016年}，语言={英语}，DOI＝{10.1016/j.apal.2016.05.005}，关键词={03E60,03E35,03D05,68Q45,68Q15,68Q17,03E15}，zbMATH={6636997}，Zbl={1422.03113}}