×

找到10个文档(结果1-10)

活跃的无上下文游戏。 (英语) Zbl 1122.68468号

Diekert,Volker(编辑)等人,STACS 2004。2004年3月25日至27日,法国蒙彼利埃,第21届计算机科学理论方面年度研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21236-1/pbk)。计算机科学课堂讲稿2996452-464(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无限的单词。自动机、半群、逻辑和游戏。 (英语) Zbl 1094.68052号

纯数学与应用数学(阿姆斯特丹)141.阿姆斯特丹:爱思唯尔/学术出版社(ISBN 0-12-53211-2/hbk)。xi,第538页。(2004).
PDF格式BibTeX公司 XML格式引用
全文: 链接

具有高博雷尔复杂度的获胜条件的游戏。 (英语) Zbl 1099.03510号

Díaz,Josep(编辑)等人,《自动化、语言和编程》。2004年7月12日至16日,芬兰图尔库,第31届国际学术讨论会,ICALP 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22849-7/pbk)。计算机科学讲义31421150-1162(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

加权时间游戏的最佳可达性。 (英语) Zbl 1098.68061号

Díaz,Josep(编辑)等人,《自动化、语言和编程》。2004年7月12日至16日,芬兰图尔库,第31届国际学术讨论会,ICALP 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22849-7/pbk)。计算机科学讲义3142122-133(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

明显的下推游戏。 (英语) Zbl 1117.68409号

Lodaya,Kamal(编辑)等人,FSTTCS 2004:软件技术和理论计算机科学基础。第24届国际会议,印度钦奈,2004年12月16-18日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24058-6/pbk)。计算机科学课堂讲稿3328,408-420(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

软件