拉杰夫·阿鲁尔;萨尔瓦多拉托雷 LTL碎片的确定性生成器和游戏。 (英语) Zbl 1366.03181号 ACM事务处理。计算。日志。 5,第1号,1-25(2004).MSC公司:03B44号 05年3月 2017年第68季度 65年第68季度 60年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{S.La Torre},ACM Trans。计算。日志。5,第1号,1--25(2004;Zbl 1366.03181) 全文: 内政部 链接
Daciuk,一月 关于“最小有限状态自动机的增量构造和维护”的评论。 (英语) Zbl 1234.68207号 计算。语言学家。 30,第2期,227-235(2004).MSC公司:65年第68季度 91层20 PDF格式BibTeX公司 XML格式引用 \textit{J.Daciuk},计算。语言学家。30,第227-235号(2004年;兹bl 12346.8207) 全文: 内政部
安卡·穆斯科尔;托马斯·施温蒂克;卢克·塞古芬 活跃的无上下文游戏。 (英语) Zbl 1122.68468号 Diekert,Volker(编辑)等人,STACS 2004。2004年3月25日至27日,法国蒙彼利埃,第21届计算机科学理论方面年度研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21236-1/pbk)。计算机科学课堂讲稿2996452-464(2004)。MSC公司:65年第68季度 05年3月 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Muscholl}等人,Lect。注释计算。科学。2996452--464(2004年;Zbl 1122.68468) 全文: 内政部
多米尼克·佩林;让-埃里克·品 无限的单词。自动机、半群、逻辑和游戏。 (英语) Zbl 1094.68052号 纯数学与应用数学(阿姆斯特丹)141.阿姆斯特丹:爱思唯尔/学术出版社(ISBN 0-12-53211-2/hbk)。xi,第538页。(2004).MSC公司:65年第68季度 68兰特 68-01 68-02 20毫米35 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{D.Perrin}和\textit{J.-Ei.Pin},无限单词。自动机、半群、逻辑和游戏。阿姆斯特丹:爱思唯尔/学术出版社(2004;Zbl 1094.68052) 全文: 链接
奥利维尔·塞雷 具有高博雷尔复杂度的获胜条件的游戏。 (英语) Zbl 1099.03510号 Díaz,Josep(编辑)等人,《自动化、语言和编程》。2004年7月12日至16日,芬兰图尔库,第31届国际学术讨论会,ICALP 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22849-7/pbk)。计算机科学讲义31421150-1162(2004)。MSC公司:05年3月 03E15年 65年第68季度 91A05型 91A43型 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{O.Serre},莱克特。注释计算。科学。31421150--1162(2004年;Zbl 1099.03510) 全文: 内政部
拉杰夫·阿鲁尔;米哈伊尔·伯纳德斯基;马杜苏丹,P。 加权时间游戏的最佳可达性。 (英语) Zbl 1098.68061号 Díaz,Josep(编辑)等人,《自动化、语言和编程》。2004年7月12日至16日,芬兰图尔库,第31届国际学术讨论会,ICALP 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22849-7/pbk)。计算机科学讲义3142122-133(2004)。MSC公司:65年第68季度 65年第68季度 91A55型 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,Lect。注释计算。科学。3142122--133(2004年;Zbl 1098.68061) 全文: 内政部
克里斯托夫·Löding;马杜苏丹,P。;奥利维尔·塞雷 明显的下推游戏。 (英语) Zbl 1117.68409号 Lodaya,Kamal(编辑)等人,FSTTCS 2004:软件技术和理论计算机科学基础。第24届国际会议,印度钦奈,2004年12月16-18日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24058-6/pbk)。计算机科学课堂讲稿3328,408-420(2004)。MSC公司:65年第68季度 60年第68季度 91A43型 2015年3月 PDF格式BibTeX公司 XML格式引用 \textit{C.Löding}等人,Lect。注释计算。科学。3328408--420(2004年;Zbl 1117.68409) 全文: 内政部
何塞·卡斯塔尼奥。 全球索引语法和描述能力。 (英语) Zbl 1067.68079号 J.逻辑语言信息。 13,第4期,403-419(2004).MSC公司:2012年第68季度 65年第68季度 68T50型 91层20 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Castaño},J.Logic Lang.Inf.13,No.4,403--419(2004;Zbl 1067.68079) 全文: 内政部
所罗门·马库斯 正式语言:基础、史前、来源和应用。 (英语) Zbl 1087.68572号 Martín-Vide,Carlos(编辑)等人,《形式语言与应用》。柏林:施普林格出版社(ISBN 3-540-20907-7/hbk)。模糊性和软计算研究148,11-54(2004)。MSC公司:65年第68季度 91层20 PDF格式BibTeX公司 XML格式引用 \textit{S.Marcus},Stud.模糊软计算。148、11--54(2004年;Zbl 1087.68572)
马库斯·霍尔泽;斯特凡·施温 在ATOMIX中组装分子是困难的。 (英语) Zbl 1070.68069号 西奥。计算。科学。 313,第3期,447-462(2004).MSC公司:65年第68季度 2017年第68季度 68T20型 91A46型 05A99号 PDF格式BibTeX公司 XML格式引用 \textit{M.Holzer}和\textit{S.Schwoon},Theor。计算。科学。313,第3447-462号(2004年;兹bl 1070.68069) 全文: 内政部