罗曼·布伦吉尔;Jean-François拉斯金;马修·萨索拉斯 欧米伽规则游戏中可容许性的复杂性。 （英文） Zbl 1401.68110号 2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第23号论文，第10页（2014年）。 引用于11文件 MSC公司： 65年第68季度 算法和问题复杂性分析 65年第68季度 形式语言和自动机 60年第68季度 规范和验证（程序逻辑、模型检查等） 91年43月 涉及图形的游戏 关键词：长期贷款;穆勒游戏;容许策略;安全;合成 引文：Zbl 1186.68278号 PDF格式BibTeX公司 XML格式引用 \textit{R.Brenguier}等人，in：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。论文编号23，10 p.（2014；Zbl 1401.68110） 全文： 内政部 arXiv公司