×

自动机、逻辑和无限游戏。当前研究指南。 (英语) 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号]

MSC公司:

00B25型 杂项特定利益的会议记录
68-06 与计算机科学有关的会议记录、会议、收藏等
03-06 与数理逻辑和基础有关的会议记录、会议、收藏等
91-06 与博弈论、经济学和金融相关的会议记录、会议记录、收藏品等
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接