埃里希·格拉德尔(编辑);沃尔夫冈·托马斯(编辑);托马斯·威尔克(编辑) 自动机、逻辑和无限游戏。当前研究指南。 (英语) Zbl 1011.00037号 计算机科学课堂讲稿. 2500. 柏林:斯普林格。viii,第385页(2002年)。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章:伯恩特·法尔,\(\omega \)-自动机,3-21,365-376[Zbl 1021.68045号]雷内·马扎拉,无限游戏,23-38365-376[Zbl 1021.91502号]马库斯·罗根巴赫,测定Büchi-automata,43-60,365-376[Zbl 1021.03510号]费利克斯·克莱特克,使用交替对Büchi自动机进行补充,61-77365-376[Zbl 1021.03509号]斯特凡·施温,Streett自动机的确定与补充,79-91,365-376[Zbl 1021.68047号]拉尔夫·库斯特斯,平价游戏的无记忆确定性,95-106,365-376[Zbl 1021.91501号]哈特穆特·克劳克,奇偶博弈算法,107-129,365-376[兹比尔1021.91500]弗兰克·聂纳,非确定性树自动机,135-152,365-376[Zbl 1021.68046号]丹尼尔·克里斯滕,交替树自动机和奇偶游戏,153-167,365-376[Zbl 1021.03030号]朱利亚·扎佩,模态演算和交替树自动机,171-184,365-376[Zbl 1021.03020号]卢卡·阿尔贝鲁奇,模态演算层次的严格性,185-201,365-376[Zbl 1021.03012号]马克·韦耶,S1S和S2S的可判定性,207-230,365-376[Zbl 1021.03001号]克劳斯·莱因哈特,将逻辑转换为有限自动机的复杂性,231-238365-376[Zbl 1021.03031号]菲利普·罗德,一元二阶逻辑和模态演算的表达能力,239-257365-376[Zbl 1021.03019号]Leucker,马丁,前缀可识别图和一元逻辑,263-283,365-376[Zbl 1021.03505号]Dietmar Berwanger;阿希姆·布卢门萨特,树状结构的一元理论,285-301,365-376[Zbl 1021.68051号]蒂埃里·卡查特,双向树自动机解决下推游戏,303-317365-376[Zbl 1021.68044号]苏拉夫·Räsch,防护逻辑介绍,321-341,365-376[Zbl 1021.03018号]Dietmar Berwanger;阿希姆·布卢门萨特,保护定点逻辑的自动机,343-355,365-376[Zbl 1021.03014号]卡斯滕·弗里茨,一些固定点基础知识,359-376[Zbl 1021.03015号] 引用于217文件 MSC公司: 00B25型 杂项特定利益的会议记录 68-06 与计算机科学有关的会议记录、会议、收藏等 03-06 与数理逻辑和基础有关的会议记录、会议、收藏等 91-06 与博弈论、经济学和金融相关的会议记录、会议记录、收藏品等 关键词:自动化;无限的游戏;逻辑 PDF格式BibTeX公司 XML格式引用 \textit{E.Grädel}(ed.)等人,自动机,逻辑和无限游戏。当前研究指南。柏林:施普林格出版社(2002;Zbl 1011.00037) 全文: 内政部 链接