大卫·格里芬;Vaandrager,Frits公司 赋范模拟理论。 (英语) Zbl 1367.68192号 ACM事务处理。计算。日志。 5,第4期,577-610(2004).MSC公司:60年第68季度 第68季度第45季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Griffoen}和\textit{F.Vaandrager},ACM Trans。计算。日志。5,第4号,577--610(2004;Zbl 1367.68192) 全文: 内政部 链接
法兰克·奈文;托马斯·施文蒂克;维克托·维亚努 无限字母字符串的有限状态机。 (英语) Zbl 1367.68175号 ACM事务处理。计算。日志。 5,第3期,403-435(2004).MSC公司:第68季度第45季度 03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{F.Neven}等人,ACM Trans。计算。日志。5,第3号,403--435(2004;Zbl 1367.68175) 全文: 内政部
拉杰夫·阿鲁尔;萨尔瓦多拉托雷 LTL碎片的确定性生成器和游戏。 (英语) Zbl 1366.03181号 ACM事务处理。计算。日志。 第5期,第1期,第1-25期(2004年).MSC公司:03B44号 05年3月 2017年第68季度 第68季度第45季度 60年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{S.La Torre},ACM Trans。计算。日志。5,第1号,1--25(2004;Zbl 1366.03181) 全文: 内政部 链接
安德烈·特凡;魏恩根·钦;格里戈拉斯(Gheorghe Grigoras) 接受有限或无限单词的自动机的协确定性和明确性。 (英语) Zbl 1343.68131号 安提斯币。Al.I.Cuza IașI大学。印度诺阿。 14, 1-11 (2004).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{ö.Andrei}等人,安提恩。Al.I.Cuza IașI大学。诺厄,Inf.14,1--11(2004;Zbl 1343.68131)
达尔·齐利奥(Dal Zilio,Silvano);丹尼斯·卢吉兹;查尔斯·梅森尼尔 你可以信赖的逻辑。 (英语) Zbl 1325.03032号 2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-729-X)。135-146 (2004).MSC公司:03B70号 03B25号 05年3月 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Dal Zilio}等人,in:第31届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'04,意大利威尼斯,2004年1月14-16日。纽约州纽约市:计算机协会(ACM)。135——146(2004年;Zbl 1325.03032) 全文: 内政部
保罗·费拉吉纳;乔瓦尼·曼齐尼 使用Burrows-Wheeler变换在最佳线性时间内进行压缩增强。 (英语) Zbl 1318.68209号 第十五届ACM-SIAM离散算法年度研讨会论文集,SODA 2004,新奥尔良,洛杉矶,美国,2004年1月11-13日。纽约州纽约市:计算机协会(ACM);宾夕法尼亚州费城:工业和应用数学学会(SIAM)(ISBN 0-89871-558-X)。655-663 (2004).MSC公司:68瓦32 68页第10页 68页30 第68季度第45季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{P.Ferragina}和\textit{G.Manzini},in:第十五届年度ACM-SIAM离散算法研讨会论文集,SODA 2004,美国洛杉矶新奥尔良,2004年1月11-13日。纽约州纽约市:计算机协会(ACM);宾夕法尼亚州费城:工业和应用数学学会(SIAM)。655--663(2004年;Zbl 1318.68209)
法国巴斯诺;朱利安·克莱门特;西里尔·尼科德 带有固定标准右因子的林登单词。 (英语) Zbl 1318.68130号 第十五届ACM-SIAM离散算法年度研讨会论文集,SODA 2004,新奥尔良,洛杉矶,美国,2004年1月11-13日。纽约州纽约市:计算机协会(ACM);宾夕法尼亚州费城:工业和应用数学学会(SIAM)(ISBN 0-89871-558-X)。653-654(2004年)。MSC公司:68兰特 第68季度第45季度 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{F.Bassino}等人,in:第十五届ACM-SIAM离散算法年会论文集,SODA 2004,美国洛杉矶新奥尔良,2004年1月11-13日。纽约州纽约市:计算机协会(ACM);宾夕法尼亚州费城:工业和应用数学学会(SIAM)。653--654(2004;Zbl 1318.68130)
金德勒,盖伊;丹·罗米克 关于图上可由随机游动计算的分布。 (英语) Zbl 1317.68053号 第十五届ACM-SIAM离散算法年度研讨会论文集,SODA 2004,新奥尔良,洛杉矶,美国,2004年1月11-13日。纽约州纽约市:计算机协会(ACM);宾夕法尼亚州费城:工业和应用数学学会(SIAM)(ISBN 0-89871-558-X)。131-138 (2004).MSC公司:2005年第68季度 05C81号 60二氧化碳 60E05型 65立方厘米 65年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Kindler}和\textit{D.Romik},in:第十五届年度ACM-SIAM离散算法研讨会论文集,SODA 2004,美国洛杉矶新奥尔良,2004年1月11-13日。纽约州纽约市:计算机协会(ACM);宾夕法尼亚州费城:工业和应用数学学会(SIAM)。131--138(2004;Zbl 1317.68053)
尼古拉斯·布罗伯格;安德烈亚斯·法尔;约瑟夫·斯文宁森 正则表达式模式。 (英语) Zbl 1323.68098号 2004年9月19日至21日,美国犹他州雪鸟市乌普萨拉ICFP'04第九届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-905-5)。ACM SIGPLAN Notices 39,No.9,67-78(2004)。MSC公司:68甲18 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Broberg}等人,in:第九届ACM SIGPLAN函数编程国际会议论文集,ICFP'04,乌普萨拉,雪鸟,犹他州,美国,2004年9月19-21日。纽约州纽约市:计算机协会(ACM)。67-78(2004年;Zbl 1323.68098) 全文: 内政部 链接
拉兹万·迪亚科内斯库;斯特凡尼亚斯(Stefaneas,Petros) 开放机构中具有具体语法的模态。 (英语) Zbl 1286.03055号 牛市。希腊数学。Soc公司。 第49页,第91-101页(2004年).MSC公司:03B45号 03G30型 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu}和\textit{P.Stefaneas},公牛。希腊数学。Soc.49,91--101(2004;Zbl 1286.03055)
戈登·普洛金;权力,约翰 计算效果和操作:概述。 (英语) Zbl 1273.68213号 Escardo,M.(ed.)等人,领域VI研讨会论文集,英国伯明翰,2002年9月16日至19日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记73,149-163(2004)。MSC公司:68问题55 18立方厘米10 18立方厘米 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{G.Plotkin}和\textit{J.Power},电子。理论注释。计算。科学。73、149--163(2004年;Zbl 1273.68213) 全文: 链接
阿迪蒂亚·阿格拉瓦尔;吉拉·西蒙;加博尔·卡赛 使用图转换将Simulink/Stateflow模型语义转换为混合自动机。 (英语) Zbl 1271.68115号 Heckel,Reiko(编辑),《图形转换和视觉建模技术研讨会论文集》(GT-VMT 2004),西班牙巴塞罗那,2004年3月27日至28日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记109,43-56(2004)。MSC公司:2012年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Agrawal}等人,《电子》。理论注释。计算。科学。109、43-56(2004年;Zbl 1271.68115) 全文: 链接
威尼玛,伊德 余代数的自动机和不动点逻辑。 (英语) Zbl 1271.68155号 Adámek,J.(ed.)等人,第七届计算机科学联合算法研讨会论文集,西班牙巴塞罗那,2004年3月27日至29日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记106,355-375(2004)。MSC公司:70年第68季度 05年3月 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Venema},电子。理论注释。计算。科学。106、355--375(2004年;Zbl 1271.68155) 全文: 链接
里卡多·普切拉 关于一类定时正则表达式的等价性。 (英语) 兹比尔1271.68128 Adámek,J.(ed.)等人,第七届计算机科学联合算法研讨会论文集,西班牙巴塞罗那,2004年3月27日至29日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记106,315-333(2004)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Pucella},电子。理论注释。计算。科学。106、315--333(2004年;Zbl 1271.68128) 全文: 链接
克莱门斯·库普克;亚历山大·库兹;德克·帕丁森 联合逻辑的代数语义。 (英语) Zbl 1271.03031号 Adámek,J.(ed.)等人,第七届计算机科学联合算法研讨会论文集,西班牙巴塞罗那,2004年3月27日至29日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记106,219-241(2004)。MSC公司:03B45号 03G30型 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{C.Kupke}等人,《电子》。理论注释。计算。科学。106、219--241(2004;Zbl 1271.03031) 全文: 链接
踢,马可;权力,约翰 数学操作语义的行为模块化。 (英语) Zbl 1271.68130号 Adámek,J.(ed.)等人,第七届计算机科学联合算法研讨会论文集,西班牙巴塞罗那,2004年3月27日至29日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记106,185-200(2004)。MSC公司:68问题55 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{M.Kick}和\textit{J.Power},电子。理论注释。计算。科学。106185-200(2004年;Zbl 1271.68130) 全文: 链接
皮耶朱利奥·凯蒂斯;北萨巴迪尼。;R.F.C.沃尔特斯。 Span(Graph)中的组合最小化:一些示例。 (英语) 兹比尔1271.68186 Honsell,F.(ed.)等人,《COMETA计算元模型项目研讨会论文集》,意大利乌迪内,2003年12月15日至17日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记104,181-197(2004)。MSC公司:68问题85 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Katis}等人,《电子》。理论注释。计算。科学。104、181--197(2004年;Zbl 1271.68186) 全文: 链接
杰罗姆·勒鲁 二元自动机的仿射外壳可以在多项式时间内计算。 (英语) Zbl 1271.68126号 Schnoebelen,P.(编辑),《2003年INFINITY会议录》,第五届无限状态系统验证国际研讨会,CONCUR 2003卫星研讨会,法国马赛2003年9月2日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记98,89-104(2004)。MSC公司:第68季度第45季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Leroux},电子。理论注释。计算。科学。98、89——104(2004年;Zbl 1271.68126) 全文: 链接
吉·斯尔巴 不可判定的双相似性问题的完备性结果。 (英语) Zbl 1271.68195号 Schnoebelen,P.(编辑),《2003年INFINITY会议录》,第五届无限状态系统验证国际研讨会,CONCUR 2003卫星研讨会,法国马赛2003年9月2日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记98,5-19(2004)。MSC公司:68问题85 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Srba},电子。理论注释。计算。科学。98、5--19(2004年;Zbl 1271.68195) 全文: 链接
弗兰克·莫拉维茨;乌韦·莫尼奇 树邻接文法的模型理论描述。 (英语) Zbl 1263.68090号 Moss,Lawrence S.(编辑)等人,第六届形式语法会议和第七届语言数学会议联席会议记录,芬兰赫尔辛基,2001年8月10日至12日。诉讼程序。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》53,210-232(2004)。MSC公司:2012年第68季度 03B65号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{F.Morawietz}和\textit{U.Mönnich},电子。理论注释。计算。科学。53210-232(2004年;兹bl 1263.68090) 全文: 内政部
伊夫·利佩奇 类比和形式语言。 (英语) 兹比尔1263.68100 Moss,Lawrence S.(编辑)等人,第六届形式语法会议和第七届语言数学会议联席会议记录,芬兰赫尔辛基,2001年8月10日至12日。诉讼程序。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记53,180-191(2004)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lepage},电子。理论注释。计算。科学。53、180--191(2004年;Zbl 1263.68100) 全文: 内政部
伊藤、马萨米;卡洛斯·马丁·维德;维克托·米特拉纳 Chomsky-Schützenberger型多分词和Parikh细长无上下文语言的特征。 (英语) Zbl 1263.68099号 Moss,Lawrence S.(编辑)等人,第六届形式语法会议和第七届语言数学会议联席会议记录,芬兰赫尔辛基,2001年8月10日至12日。诉讼程序。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记53,137-145(2004)。MSC公司:第68季度第45季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ito}等人,《电子》。理论注释。计算。科学。53、137--145(2004年;Zbl 1263.68099) 全文: 内政部
安妮·福雷特 (k)值范畴文法语言(经典和Lambek)的交空问题是不可判定的。 (英语) Zbl 1263.68074号 Moss,Lawrence S.(编辑)等人,第六届形式语法会议和第七届语言数学会议联席会议记录,芬兰赫尔辛基,2001年8月10日至12日。诉讼程序。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记53,81-93(2004)。MSC公司:2012年第68季度 03B65号 05年3月 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Foret},电子。理论注释。计算。科学。53、81-93(2004年;Zbl 1263.68074) 全文: 内政部
劳伦斯·莫斯。(编辑);理查德·欧尔(Richard T.Oehrle)。(编辑) 2001年8月10日至12日在芬兰赫尔辛基举行的第六届正式语法会议和第七届语言数学会议联席会议记录。诉讼程序。 (英语) Zbl 1262.68016号 理论计算机科学电子笔记53.阿姆斯特丹:爱思唯尔。第333页。,仅电子版(2004)。MSC公司:68-06 2012年第68季度 第68季度第45季度 68T50型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.S.Moss}(ed.)和textit{R.T.Oehrle}(edi.),第六届形式语法会议和第七届语言数学会议联席会议记录,芬兰赫尔辛基,2001年8月10-12日。诉讼程序。阿姆斯特丹:Elsevier(2004;Zbl 1262.68016) 全文: 链接
艾米·兰维尔(Amy N.Langville)。;威廉·斯图尔特。 在马尔可夫链和随机自动机网络上测试最近的Kronecker乘积预条件。 (英语) Zbl 1239.65006号 信息J.计算。 16,第3期,300-315(2004).MSC公司:65立方厘米 60J22型 60J10型 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Langville}和\textit{W.J.Stewart},《信息与计算》。16,第3号,300-315(2004;Zbl 1239.65006) 全文: 内政部 链接
斯托扬·米霍夫;克劳斯·舒尔茨。 在大型词典中快速近似搜索。 (英语) Zbl 1234.68424号 计算。语言学家。 30,第4期,451-477(2004).MSC公司:68T50型 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Mihov}和\textit{K.U.Schulz},计算。语言学家。30,第451-477号(2004年;兹bl 12346.8424) 全文: 内政部
1月Daciuk 关于“最小有限状态自动机的增量构造和维护”的评论。 (英语) Zbl 1234.68207号 计算。语言学家。 30,第2期,227-235(2004).MSC公司:第68季度第45季度 91层20 PDF格式BibTeX公司 XML格式引用 \textit{J.Daciuk},计算。语言学家。30,第2号,227--235(2004;Zbl 1234.68207) 全文: 内政部
米莱娜·博格达诺维奇;斯托扬·博格达诺维奇;米罗斯拉夫·奇·伊里奇;塔贾纳佩特科维奇 自动机的颈部。 (英语) Zbl 1249.68111号 诺维·萨德J.数学。 34,第2期,第5-15页(2004年). 审核人:梅拉尼亚·米特罗维奇(尼什) MSC公司:70年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bogdanović}等人,Novi Sad J.Math。34,编号2,5-15(2004年;兹bl 1249.68111)
科琳娜·科尔特斯;帕特里克·哈夫纳;梅赫里亚·莫赫里 有理核:理论和算法。 (英语) Zbl 1222.68175号 J.马赫。学习。物件。 5, 1035-1062 (2004).MSC公司:68T05型 62H30型 第68季度第45季度 68吨10 PDF格式BibTeX公司 XML格式引用 \textit{C.Cortes}等人,J.Mach。学习。第51035--1062号决议(2004年;Zbl 1222.68175) 全文: 链接
亚历山大·克拉克;弗兰克·托拉德 概率确定性有限状态自动机的PAC-可学习性。 (英语) Zbl 1222.68094号 J.马赫。学习。物件。 5, 473-497 (2004).MSC公司:68问题32 第68季度第45季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Clark}和\textit{F.Thollard},J.Mach。学习。第5473-497号决议(2004年;Zbl 1222.68094) 全文: 链接
佐尔坦·阿莱辛(编辑);蒂博尔·吉莫西(编辑) 特刊:一些论文基于2003年12月10日至11日在匈牙利塞格德举行的第一届匈牙利计算语言学会议上的发言。 (英语) Zbl 1194.68008号 《网络学报》。16,第4期,507-673(2004)。 MSC公司:68-06 第68季度第45季度 68T50型 00B25型 PDF格式BibTeX公司 XML格式
拉杰夫·阿鲁尔;马杜苏丹,P。 直观的下推语言。 (英语) Zbl 1192.68396号 2004年6月13日至15日,美国伊利诺伊州芝加哥举行的第36届ACM计算理论年会(STOC 2004)会议记录。纽约州纽约市:ACM出版社(ISBN 1-58113-852-0)。202-211,仅电子版(2004年)。MSC公司:2012年第68季度 60年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{P.Madhusudan},载于:第36届美国计算机学会计算理论年度研讨会论文集,STOC 2004。美国伊利诺伊州芝加哥,2004年6月13日至15日。纽约州纽约市:ACM出版社。202-211(2004;Zbl 1192.68396) 全文: 内政部 链接
阿纳尼切夫,D.S。;M.V.沃尔科夫。 关于变换半群语言的乔恩型问题的一些结果。 (英语) Zbl 1189.20060号 Araüjo,Isabel M.(编辑)等人,《半群和语言》。研讨会记录,葡萄牙里斯本,2002年11月27日至29日。新泽西州River Edge:世界科学(ISBN 981-238-917-2/hbk)。23-42 (2004).MSC公司:20平方米 20立方米 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Ananichev}和\textit{M.V.Volkov},in:半群和语言。研讨会记录,葡萄牙里斯本,2002年11月27日至29日。新泽西州River Edge:《世界科学》。23-42(2004年;Zbl 1189.20060) 全文: 内政部
豪尔赫·阿尔梅达;马克·泽顿 有限(mathcal R)-平凡半群的(ω)-项的等式理论。 (英语) 邮编:1189.20050 Araüjo,Isabel M.(编辑)等人,《半群和语言》。研讨会记录,葡萄牙里斯本,2002年11月27日至29日。新泽西州River Edge:世界科学(ISBN 981-238-917-2/hbk)。1-22 (2004).MSC公司:2007年7月20日 20立方米 第68季度第45季度 第22页第15页 70年第68季度 2005年5月20日 PDF格式BibTeX公司 XML格式引用 \textit{J.Almeida}和\textit{M.Zeitoun},in:半群和语言。研讨会记录,葡萄牙里斯本,2002年11月27日至29日。新泽西州River Edge:世界科学。1-22(2004;Zbl 1189.20050) 全文: 内政部
皮赖宁,维尔 单调代数、(mathcal R)-平凡幺半群和各种树语言。 (英语) Zbl 1169.68489号 牛市。欧洲协会。计算。科学。EATCS公司 84, 189-194 (2004).MSC公司:第68季度第45季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Piirainen},公牛。欧洲协会。计算。科学。EATCS 84,189--194(2004;Zbl 1169.68489)
佩德罗·加西亚;何塞·鲁伊斯 关于有限语言最小覆盖自动机的注记。 (英语) 兹比尔1169.68469 牛市。欧洲协会。计算。科学。EATCS公司 83, 193-195 (2004).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{P.García}和\textit{J.Ruiz},公牛。欧洲协会。计算。科学。EATCS 83、193--195(2004;Zbl 1169.68469)
JoséM.Sempere。 Watson-Crick有限自动机接受的语言表示定理。 (英语) Zbl 1169.68492号 牛市。欧洲协会。计算。科学。EATCS公司 83, 187-191 (2004).MSC公司:第68季度第45季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Sempere},公牛。欧洲协会。计算。科学。EATCS 83、187--191(2004;Zbl 1169.68492)
伊斯坦卡塔尼 关于受限插入-删除系统的注释。 (英语) Zbl 1169.68481号 牛市。欧洲协会。计算。科学。EATCS公司 83, 181-185 (2004).MSC公司:第68季度第45季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Katsányi},公牛。欧洲协会。计算。科学。EATCS 83181-185(2004年;兹bl 1169.68481)
卡里、莉拉;彼得·索西克 关于语言方程的删除。 (英语) Zbl 1169.68480号 牛市。欧洲协会。计算。科学。EATCS公司 83, 173-180 (2004).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Kari}和\textit{P.Sosík},公牛。欧洲协会。计算。科学。EATCS 83、173--180(2004年;Zbl 1169.68480)
马库斯·霍尔泽;巴巴拉·科尼格 正则语言、句法幺半群的大小、图着色、状态复杂度结果,以及这些主题如何相互关联。 (英语) Zbl 1169.68475号 牛市。欧洲协会。计算。科学。EATCS公司 83139-155(2004年).MSC公司:第68季度第45季度 05C15号 2005年5月20日 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Holzer}和\textit{B.König},公牛。欧洲协会。计算。科学。EATCS 83、139--155(2004年;Zbl 1169.68475)
尤金·亚萨林 时间语言的挑战:从应用理论到基础理论。 (英语) Zbl 1169.68535号 牛市。欧洲协会。计算。科学。EATCS公司 83, 106-120 (2004).MSC公司:68问题85 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin},公牛。欧洲协会。计算。科学。EATCS 83、106-120(2004年;Zbl 1169.68535)
贝内德克·纳吉 有限多变量上的SAT和\(n)-SAT语言是正则的。 (英语) Zbl 1169.68485号 牛市。欧洲协会。计算。科学。EATCS公司 82, 286-297 (2004).MSC公司:第68季度第45季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Nagy},公牛。欧洲协会。计算。科学。EATCS 82、286--297(2004;Zbl 1169.68485)
瓦格伏尔盖,桑多尔 左线性右接地项重写系统和接地项重写系统。 (英语) Zbl 1169.68457号 牛市。欧洲协会。计算。科学。EATCS公司 82, 269-285 (2004).MSC公司:2012年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Vágvölgyi},公牛。欧洲协会。计算。科学。EATCS 82、269--285(2004年;Zbl 1169.68457)
所罗门·马库斯 准周期无限字。 (英语) Zbl 1169.68484号 牛市。欧洲协会。计算。科学。EATCS公司 82, 170-174 (2004).MSC公司:第68季度第45季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.马库斯},公牛。欧洲协会。计算。科学。EATCS 82、170--174(2004年;Zbl 1169.68484)
塞扎尔·坎帕努;于盛 模式表达式和模式自动机。 (英语) Zbl 1173.68546号 Inf.流程。莱特。 92,第6期,267-274(2004).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Cámpeanu}和\textit{S.Yu},Inf.过程。莱特。92,第6号,267--274(2004;Zbl 1173.68546) 全文: 内政部
塔贾纳佩特科维奇;米罗斯拉夫·奇·伊里奇;斯托扬·博格达诺维奇 最少的禁止子单词。 (英语) Zbl 1173.68619号 Inf.流程。莱特。 92,第5号,211-218(2004年).MSC公司:68兰特 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Petković}等人,信息流程。莱特。92,第5号,211--218(2004;Zbl 1173.68619) 全文: 内政部
福塞,S。;G.里科姆。 Parikh矩阵等价二进制字的一些特征。 (英语) Zbl 1173.68550号 Inf.流程。莱特。 92,第2期,77-82(2004).MSC公司:第68季度第45季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Fossé}和\textit{G.Richomme},Inf.过程。莱特。92,第2号,77-82(2004年;兹bl 1173.68550) 全文: 内政部
贝内迪克特·博利格;Leucker,马丁 验证概率程序的定性属性。 (英语) Zbl 1203.68094号 Baier,Christel(编辑)等人,《随机系统的验证》。当前研究指南。柏林:施普林格出版社(ISBN 3-540-22265-0/pbk)。计算机科学课堂讲稿2925124-146(2004)。MSC公司:60年第68季度 68号30 第68季度第45季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}和\textit{M.Leucker},莱克特。注释计算。科学。2925124--146(2004年;Zbl 1203.68094) 全文: 内政部
安娜·索科洛娃;埃里克·P·德文克。 概率自动机:系统类型、并行组合和比较。 (英语) 兹比尔1203.68089 Baier,Christel(编辑)等人,《随机系统的验证》。当前研究指南。柏林:施普林格出版社(ISBN 3-540-22265-0/pbk)。计算机科学课堂讲稿2925,1-43(2004)。MSC公司:第68季度第45季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Sokolova}和\textit{E.P.de Vink},莱克托。注释计算。科学。2925,1-43(2004;Zbl 1203.68089) 全文: 内政部
斯特芬·兰格;桑德拉·齐尔斯 正式的语言识别:提问式学习vs.金牌式学习。 (英语) Zbl 1178.68427号 Inf.流程。莱特。 91,第6期,285-292(2004).MSC公司:68T05型 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lange}和\textit{S.Zilles},Inf.过程。莱特。91,第6号,285--292(2004;Zbl 1178.68427) 全文: 内政部
佐尔坦,福尔öp;阿明·库内曼;福格勒、海科 具有规则look-ahead的确定性自顶向下树传感器的自下而上特性。 (英语) Zbl 1178.68314号 Inf.流程。莱特。 91,第2号,57-67(2004).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Fülöp}等人,Inf.过程。莱特。91,第2号,57--67(2004;Zbl 1178.68314) 全文: 内政部
海伦斯,R.M。 从有限状态机进行测试时,使用最少的重置次数。 (英语) Zbl 1178.68316号 Inf.流程。莱特。 90,第6期,287-292(2004).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Hierons},信息处理。莱特。90,第6号,287--292(2004;Zbl 1178.68316) 全文: 内政部 链接
拉兹万·迪亚科内斯库 任意机构中的Herbrand定理。 (英语) 兹比尔1178.68132 Inf.流程。莱特。 90,第1期,29-37(2004).MSC公司:68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu},Inf.过程。莱特。90,第1号,29--37(2004;Zbl 1178.68132) 全文: 内政部
斯塔夫罗斯·特里帕基斯 对常规语言分散观察和控制的无法解释的问题。 (英语) Zbl 1178.68327号 Inf.流程。莱特。 90,第1期,21-28(2004).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Tripakis},Inf.过程。莱特。90,第1号,21--28(2004;Zbl 1178.68327) 全文: 内政部
马基,N。;Schnoebelen博士。 SLP压缩单词的PTIME完全匹配问题。 (英语) Zbl 1177.68138号 Inf.流程。莱特。 90,第1期,第3-6期(2004年).MSC公司:第68季度第45季度 2017年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Markey}和\textit{Ph.Schnoebelen},Inf.过程。莱特。90,第1、3--6号(2004;Zbl 1177.68138) 全文: 内政部 哈尔
赫曼吉·K·卡普尔。;马克·B·约瑟夫。 使用CCS和并发工作台对延迟敏感电路进行建模和验证。 (英语) Zbl 1183.68387号 Inf.流程。莱特。 89,第6期,293-296(2004).MSC公司:第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{H.K.Kapoor}和\textit{M.B.Josephs},Inf.Process。莱特。89,第6号,293--296(2004;Zbl 1183.68387) 全文: 内政部
杰罗姆·杜兰·洛斯 可分割信号的Kleene定理。 (英语) Zbl 1178.68311号 Inf.流程。莱特。 89,第5期,237-245(2004).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Durand-Lose},Inf.过程。莱特。89,编号52237-245(2004年;兹bl 1178.68311) 全文: 内政部
托马斯·珀斯特;赫尔穆特·塞德尔 宏观森林传感器。 (英语) Zbl 1178.68177号 Inf.流程。莱特。 89,第3期,141-149(2004).MSC公司:68第05页 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Perst}和\textit{H.Seidl},Inf.过程。莱特。89,第3号,141--149(2004;Zbl 1178.68177) 全文: 内政部
沃伊切赫Fraczak;安娜·波多拉克 s语言的特征。 (英语) Zbl 1178.68313号 Inf.流程。莱特。 89,第2期,65-70(2004).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Fraczak}和\textit{A.Podolak},Inf.过程。莱特。89,第2号,65--70(2004;Zbl 1178.68313) 全文: 内政部
Gunter Grieser公司;斯特芬·兰格 从正数据中增量学习近似值。 (英语) Zbl 1178.68415号 Inf.流程。莱特。 89,第1期,第37-42页(2004年).MSC公司:68T05型 第68季度第45季度 2005年第68季度 68周27 PDF格式BibTeX公司 XML格式引用 \textit{G.Grieser}和\textit{S.Lange},Inf.过程。莱特。89,编号1,37-42(2004年;兹bl 1178.68415) 全文: 内政部
拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;西蒙·蒂尼 \(varepsilon)-并发时间自动机中的转换。 (英语) 兹比尔1178.68321 Inf.流程。莱特。 89,第1期,1-7期(2004年).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人,《Inf.过程》。莱特。89,编号1,1--7(2004;Zbl 1178.68321) 全文: 内政部
郭强;Robert M.Hierons。;马克·哈曼;卡尼格·德德里安 使用遗传算法计算独特的输入/输出序列。 (英语) 兹比尔1185.68247 Petrenko,Alexandre(编辑)等人,软件测试的形式化方法。2003年10月6日在加拿大魁北克省蒙特利尔举行的关于软件测试正式方法的第三次国际研讨会,FATES 2003。修订论文。柏林:施普林格出版社(ISBN 3-540-20894-1/pbk)。莱克特。注释计算。科学。2931, 164-177 (2004).MSC公司:68N99型 第68季度第45季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Q.Guo}等人,Lect。注释计算。科学。2931、164--177(2004年;Zbl 1185.68247) 全文: 内政部
Jean-Claude费尔南德斯;劳伦特·穆尼尔;西里尔·帕雄 面向属性的测试用例生成。 (英语) Zbl 1185.68243号 Petrenko,Alexandre(编辑)等人,软件测试的形式化方法。2003年10月6日在加拿大魁北克省蒙特利尔举行的关于软件测试正式方法的第三次国际研讨会,FATES 2003。修订论文。柏林:施普林格出版社(ISBN 3-540-20894-1/pbk)。莱克特。注释计算。科学。2931, 147-163 (2004).MSC公司:68N99型 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-C.Fernandez}等人,Lect。注释计算。科学。2931147-163(2004年;Zbl 1185.68243) 全文: 内政部
艾哈迈德·库姆西;蒂埃里·杰伦;埃尔文·马尔坎德 非确定性实时系统的测试用例生成。 (英语) Zbl 1185.68415号 Petrenko,Alexandre(编辑)等人,软件测试的形式化方法。2003年10月6日在加拿大魁北克省蒙特利尔举行的关于软件测试正式方法的第三次国际研讨会,FATES 2003。修订论文。柏林:施普林格出版社(ISBN 3-540-20894-1/pbk)。莱克特。注释计算。科学。2931, 131-146 (2004).MSC公司:60年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Khoumsi}等人,Lect。注释计算。科学。2931、131--146(2004年;Zbl 1185.68415) 全文: 内政部
安德斯·赫塞尔;拉森,金·G。;布莱恩·尼尔森;保罗·佩特森;阿恩·斯科 使用Uppaal生成时间最优的实时测试用例。 (英语) Zbl 1185.68248号 Petrenko,Alexandre(编辑)等人,软件测试的形式化方法。2003年10月6日在加拿大魁北克省蒙特利尔举行的关于软件测试正式方法的第三次国际研讨会,FATES 2003。修订论文。柏林:施普林格出版社(ISBN 3-540-20894-1/pbk)。莱克特。注释计算。科学。2931, 114-130 (2004).MSC公司:68N99型 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Hessel}等人,Lect。注释计算。科学。2931114-130(2004年;Zbl 1185.68248) 全文: 内政部
鲁道夫·弗伦德;玛丽安·奥斯瓦尔德;路德维希·施泰格 \具有通信规则的(\omega\)-P自动机。 (英语) 兹比尔1202.68192 Martín-Vide,Carlos(编辑)等人,《膜计算》。2003年7月17日至22日在西班牙塔拉戈纳举行的WMC 2003国际研讨会。修订论文。柏林:施普林格出版社(ISBN 3-540-20895-X/pbk)。莱克特。注释计算。科学。2933, 203-217 (2004).MSC公司:2005年第68季度 2010年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Freund}等人,Lect。注释计算。科学。2933,203--217(2004;Zbl 1202.68192) 全文: 内政部
Dersanambika,K.S.公司。;卡马拉·克里蒂瓦桑;苏布拉曼尼亚语,K.G。 生成六边形图像语言的P系统。 (英语) Zbl 1202.68189号 Martín-Vide,Carlos(编辑)等人,《膜计算》。2003年7月17日至22日在西班牙塔拉戈纳举行的WMC 2003国际研讨会。修订论文。柏林:施普林格出版社(ISBN 3-540-20895-X/pbk)。莱克特。注释计算。科学。2933, 168-180 (2004).MSC公司:2005年第68季度 2010年第68季度 2012年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Dersanambika}等人,Lect。注释计算。科学。2933168-180(2004年;兹bl 1202.68189) 全文: 内政部
罗迪卡·塞特基;革兰氏菌,Radu;纳塔沙·乔诺斯卡 用P系统平铺矩形图片。 (英语) Zbl 1202.68186号 Martín-Vide,Carlos(编辑)等人,《膜计算》。2003年7月17日至22日在西班牙塔拉戈纳举行的WMC 2003国际研讨会。修订论文。柏林:施普林格出版社(ISBN 3-540-20895-X/pbk)。莱克特。注释计算。科学。2933, 88-103 (2004).MSC公司:2005年第68季度 2010年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ceterchi}等人,Lect。注释计算。科学。2933,88-103(2004;Zbl 1202.68186) 全文: 内政部
Gemma Bel-Enguix公司;革兰氏菌,Radu 使用主动P自动机进行解析。 (英语) Zbl 1202.68181号 Martín-Vide,Carlos(编辑)等人,《膜计算》。2003年7月17日至22日在西班牙塔拉戈纳举行的WMC 2003国际研讨会。修订论文。柏林:施普林格出版社(ISBN 3-540-20895-X/pbk)。莱克特。注释计算。科学。2933, 31-42 (2004).MSC公司:2005年第68季度 2010年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bel-Enguix}和\textit{R.Gramatovic},莱克特。注释计算。科学。2933,31-42(2004;Zbl 1202.68181) 全文: 内政部
佩雷兹·吉梅内斯(Pérez-Jiménez),马里奥·J·。;阿尔瓦罗·罗梅罗·吉梅内斯;费尔南多·桑乔·卡帕里尼 通过使用膜进行细胞计算的P与NP问题。 (英语) Zbl 1200.68117号 Jonoska,Nataša(编辑)等人,《分子计算方面》。纪念汤姆·黑德70岁生日的文章。柏林:施普林格出版社(ISBN 3-540-20781-3/pbk)。计算机科学课堂讲稿2950338-352(2004)。MSC公司:2005年第68季度 2010年第68季度 2015年第68季度 2017年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Pérez-Jiménez}等人,莱克特。注释计算。科学。2950338-352(2004年;兹比尔1200.68117) 全文: 内政部
所罗门·马库斯 分子遗传学中模式的二重性。 (英语) Zbl 1200.92014年 Jonoska,Nataša(编辑)等人,《分子计算方面》。纪念汤姆·黑德70岁生日的文章。柏林:施普林格出版社(ISBN 3-540-20781-3/pbk)。计算机科学课堂讲稿2950318-321(2004)。MSC公司:92C40型 第68季度第45季度 92D10型 PDF格式BibTeX公司 XML格式引用 \textit{S.马库斯},莱克特。注释计算。科学。2950318--321(2004;Zbl 1200.92014) 全文: 内政部
文森佐·曼卡 有限拼接正则性的证明。 (英语) Zbl 1200.68148号 Jonoska,Nataša(编辑)等人,《分子计算方面》。纪念汤姆·黑德70岁生日的文章。柏林:施普林格出版社(ISBN 3-540-20781-3/pbk)。计算机科学课堂讲稿2950309-317(2004)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Manca},莱克特。注释计算。科学。2950309--317(2004;Zbl 1200.68148) 全文: 内政部
彼得·勒波尔德;维克托·米特拉纳;JoséM.Sempere。 源于基因重复复制的形式语言。 (英语) Zbl 1200.68146号 Jonoska,Nataša(编辑)等人,《分子计算方面》。纪念汤姆·黑德70岁生日的文章。柏林:施普林格出版社(ISBN 3-540-20781-3/pbk)。计算机科学课堂讲稿2950297-308(2004)。MSC公司:第68季度第45季度 92D10型 PDF格式BibTeX公司 XML格式引用 \textit{P.Leupold}等人,Lect。注释计算。科学。2950297--308(2004;Zbl 1200.68146) 全文: 内政部
曼弗雷德·库德莱克 关于循环词的语言。 (英语) Zbl 1200.68145号 Jonoska,Nataša(编辑)等人,《分子计算方面》。纪念汤姆·黑德70岁生日的文章。柏林:施普林格出版社(ISBN 3-540-20781-3/pbk)。《计算机科学讲义》29507278-288(2004)。MSC公司:第68季度第45季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Kudlek},莱克特。注释计算。科学。2950278--288(2004;Zbl 1200.68145) 全文: 内政部
纳塔沙·乔诺斯卡;卡尔帕纳·马哈林根 构建编码DNA语言的方法。 (英语) Zbl 1200.68144号 Jonoska,Nataša(编辑)等人,《分子计算方面》。纪念汤姆·黑德70岁生日的文章。柏林:施普林格出版社(ISBN 3-540-20781-3/pbk)。计算机科学课堂讲稿2950241-253(2004)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Jonoska}和\textit{K.Mahalingam},Lect。注释计算。科学。2950241--253(2004;Zbl 1200.68144) 全文: 内政部
伊藤、马萨米;柳杉浦 \(n\)-插入语言。 (英语) Zbl 1200.68143号 Jonoska,Nataša(编辑)等人,《分子计算方面》。纪念汤姆·黑德70岁生日的文章。柏林:施普林格出版社(ISBN 3-540-20781-3/pbk)。计算机科学课堂讲稿2950,213-218(2004)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ito}和\textit{R.Sugiura},莱克特。注释计算。科学。2950213--218(2004;Zbl 1200.68143) 全文: 内政部
伊丽莎白·古德;丹尼斯·皮克斯顿 拼接到极限。 (英语) Zbl 1200.68141号 Jonoska,Nataša(编辑)等人,《分子计算方面》。纪念汤姆·黑德70岁生日的文章。柏林:施普林格出版社(ISBN 3-540-20781-3/pbk)。计算机科学课堂讲稿2950189-201(2004)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Goode}和\textit{D.Pixton},Lect。注释计算。科学。2950、189--201(2004;Zbl 1200.68141) 全文: 内政部
克劳迪奥·费雷蒂;吉安卡洛·莫里 关于相对论和DNA编码的评论。 (英语) 兹比尔1200.68139 Jonoska,Nataša(编辑)等人,《分子计算方面》。纪念汤姆·黑德70岁生日的文章。柏林:施普林格出版社(ISBN 3-540-20781-3/pbk)。计算机科学课堂讲稿2950132-138(2004)。MSC公司:第68季度第45季度 68页30 92C40型 92D20型 94A45型 PDF格式BibTeX公司 XML格式引用 \textit{C.Ferretti}和\textit{G.Mauri},莱克特。注释计算。科学。2950132--138(2004;Zbl 1200.68139) 全文: 内政部
卡雷尔·库利克二世;朱哈尼·卡胡马基;佩特里·萨梅拉 语言交换的不动点方法。 (英语) Zbl 1200.68136号 Jonoska,Nataša(编辑)等人,《分子计算方面》。纪念汤姆·黑德70岁生日的文章。柏林:施普林格出版社(ISBN 3-540-20781-3/pbk)。计算机科学课堂讲稿2950119-131(2004)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik II}等人,Lect。注释计算。科学。2950、119--131(2004;Zbl 1200.68136) 全文: 内政部
罗迪卡·塞特基;卡洛斯·马丁·维德;苏布拉曼尼亚语,K.G。 关于一些拼接语言类。 (英语) Zbl 1200.68134号 Jonoska,Nataša(编辑)等人,《分子计算方面》。纪念汤姆·黑德70岁生日的文章。柏林:施普林格出版社(ISBN 3-540-20781-3/pbk)。计算机科学课堂讲稿295084-105(2004)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ceterchi}等人,Lect。注释计算。科学。2950,84--105(2004;Zbl 1200.68134) 全文: 内政部
马萨诺里·阿里塔 将信息写入DNA。 (英语) Zbl 1200.68106号 Jonoska,Nataša(编辑)等人,《分子计算方面》。纪念汤姆·黑德70岁生日的文章。柏林:施普林格出版社(ISBN 3-540-20781-3/pbk)。计算机科学课堂讲稿2950,23-35(2004)。MSC公司:68页30 68第20页 第68季度第45季度 92C40型 92D20型 94A45型 PDF格式BibTeX公司 XML格式引用 \发短信{M.Arita},Lect。注释计算。科学。2950,23-35(2004;Zbl 1200.68106) 全文: 内政部
奥利维尔·卡尔顿;克洛伊·里斯帕尔 有限秩分散线性序上有理集的补。 (英语) 兹比尔1196.68119 Farach-Colton,Martin(编辑),拉丁语2004:理论信息学。第六届拉丁美洲研讨会,阿根廷布宜诺斯艾利斯,2004年4月5-8日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21258-2/pbk)。计算机科学课堂讲稿2976,292-301(2004)。MSC公司:第68季度第45季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{O.Carton}和\textit{C.Rispal},莱克特。注释计算。科学。2976、292--301(2004;Zbl 1196.68119) 全文: 内政部
曼纽尔·博迪尔斯基;Gärtner,托比亚斯;蒂莫·冯·奥尔岑;施温哈默(Jan Schwinghammer) 高效计算正则语言的密度。 (英语) Zbl 1196.68118号 Farach-Colton,Martin(编辑),拉丁语2004:理论信息学。第六届拉丁美洲研讨会,阿根廷布宜诺斯艾利斯,2004年4月5-8日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21258-2/pbk)。计算机科学课堂讲稿2976262-270(2004)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人,Lect。注释计算。科学。2976、262--270(2004年;Zbl 1196.68118) 全文: 内政部
明山,志贵;法国巴斯诺;克里斯蒂安·弗劳格尼 算术Meyer集的自动机。 (英语) Zbl 1196.68116号 Farach-Colton,Martin(编辑),拉丁语2004:理论信息学。第六届拉丁美洲研讨会,阿根廷布宜诺斯艾利斯,2004年4月5-8日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21258-2/pbk)。《计算机科学讲义》297652-261(2004)。MSC公司:第68季度第45季度 11B85号 PDF格式BibTeX公司 XML格式引用 \textit{S.Akiyama}等人,Lect。注释计算。科学。2976252--261(2004;Zbl 1196.68116) 全文: 内政部
西尔万·伦巴第;雅克·萨卡罗维奇 表达式如何为自动机编码。 (英语) Zbl 1196.68120号 Farach-Colton,Martin(编辑),拉丁语2004:理论信息学。第六届拉丁美洲研讨会,阿根廷布宜诺斯艾利斯,2004年4月5-8日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21258-2/pbk)。计算机科学课堂讲稿2976242-251(2004)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lombardy}和\textit{J.Sakarovitch},Lect。注释计算。科学。2976、242--251(2004;Zbl 1196.68120) 全文: 内政部
葛光、浦;洪丹凡;何继峰;Yi,王 同步模型的硬件/软件分区的最佳方法。 (英语) Zbl 1196.68136号 Boiten,Eerke A.(编辑)等人,《综合形式方法》。第四届国际会议,IFM 2004,英国坎特伯雷,2004年4月4日至7日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21377-5/pbk)。计算机科学课堂讲稿2999363-381(2004)。MSC公司:60年第68季度 68平方米 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Geguang}等人,Lect。注释计算。科学。2999363--381(2004年;Zbl 1196.68136) 全文: 内政部
Tim A.C.Willemse。 混合自动机在进程代数中的嵌入。 (英语) Zbl 1196.68122号 Boiten,Eerke A.(编辑)等人,《综合形式方法》。第四届国际会议,IFM 2004,英国坎特伯雷,2004年4月4日至7日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21377-5/pbk)。计算机科学课堂讲稿2999343-362(2004)。MSC公司:第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{T.A.C.Willemse},Lect。注释计算。科学。2999343--362(2004年;Zbl 1196.68122) 全文: 内政部
卡梅·朱利安;约阿希姆·尼伦;马克·托马西 使用逐步树自动机查询未排序的树。 (英语) Zbl 1187.68188号 van Oostrom,Vincent(编辑),重写技术和应用。第15届国际会议,RTA 2004,德国亚琛,2004年6月3日至5日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22153-0/pbk)。计算机科学课堂讲稿3091105-118(2004)。MSC公司:第68页,共15页 68第05页 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Carme}等人,Lect。注释计算。科学。3091105-118(2004年;Zbl 1187.68188) 全文: 内政部
A.V.康德拉托夫。 在某些电路类中,与自动机语言相关的函数实现复杂性的高精度渐近估计。 (俄语) Zbl 1155.94418号 材料Vopr。基伯恩。 13, 279-288 (2004).MSC公司:94立方厘米10 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Kondratov},马特·沃普。Kibern。13、279--288(2004年;Zbl 1155.94418)
查索夫斯基,A.A。 包含加法器的线性自动机函数的闭类。 (俄语) Zbl 1162.68470号 材料Vopr。基伯恩。 13, 113-136 (2004).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Chasovskikh},马特·沃普。Kibern。13、113--136(2004年;Zbl 1162.68470)
塞拉普·萨瓦里。 部分交换字母表上的单词压缩。 (英语) Zbl 1303.94026号 IEEE传输。Inf.理论 50,第7期,1425-1441(2004).MSC公司:94甲17 68问题85 68页30 第68季度第45季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Savari},IEEE Trans。Inf.Theory 50,No.7,1425-1441(2004;Zbl 1303.94026) 全文: 内政部
尼古拉斯·皮彭格 有限自动机的熵和期望接受计数。 (英语) Zbl 1301.94050号 IEEE传输。Inf.理论 50,第1期,78-88(2004).MSC公司:94甲17 第68季度第45季度 94A45型 PDF格式BibTeX公司 XML格式引用 \textit{N.Pippenger},IEEE Trans。Inf.Theory 50,No.1,78--88(2004年;Zbl 1301.94050) 全文: 内政部
阿隆·奥利茨基;Narayana P.桑塔纳姆。;张俊安 未知字母表上无记忆源的通用压缩。 (英语) Zbl 1303.94049号 IEEE传输。Inf.理论 50,第7期,1469-1481(2004).MSC公司:94A29号 68页30 第68季度第45季度 11B73号 PDF格式BibTeX公司 XML格式引用 \textit{A.Orlitsky}等人,IEEE Trans。Inf.Theory 50,No.7,1469-1481(2004;Zbl 1303.94049) 全文: 内政部
阿尔瓦罗·马汀;加迪尔·塞鲁西;马塞洛·J·温伯格。 通过FSM闭包对树源进行线性时间通用编码和时间反转。 (英语) Zbl 1303.94045号 IEEE传输。Inf.理论 50,第7期,1442-1468(2004).MSC公司:94A29号 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Martín}等人,IEEE Trans。Inf.Theory 50,No.7,1442--1468(2004;Zbl 1303.94045) 全文: 内政部
约翰·基弗。;杨恩惠 基于语法的无损通用精炼源代码。 (英语) Zbl 1303.94043号 IEEE传输。Inf.理论 50,编号7,1415-1424(2004年).MSC公司:94A29号 94甲17 68页30 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Kieffer}和\textit{E.-H.Yang},IEEE Trans。Inf.Theory 50,No.7,1415--1424(2004;Zbl 1303.94043) 全文: 内政部
约翰·C·基弗。;斯潘科夫斯基,沃伊切赫;杨恩惠 序列问题:信息论和计算机科学接口。 (英语) Zbl 1303.94042号 IEEE传输。Inf.理论 50,编号7,1385-1392(2004年).MSC公司:94A29号 68页30 第68季度第45季度 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Kieffer}等人,IEEE Trans。Inf.Theory 50,No.7,1385--1392(2004;Zbl 1303.94042) 全文: 内政部
吉尔斯·佩森特 有限变量序列的正则语言成员约束。 (英语) Zbl 1152.68573号 Wallace,Mark(编辑),约束编程的原理和实践–CP 2004。2004年9月27日至10月1日在加拿大多伦多举行的第十届国际会议,CP 2004。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-23241-4/pbk)。计算机科学课堂讲稿3258482-495(2004)。MSC公司:68T20型 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Pesant},莱克特。注释计算。科学。3258、482--495(2004年;Zbl 1152.68573) 全文: 内政部
尼古拉斯·贝尔迪塞努;卡尔森,Mats;蒂埃里·佩蒂特 从约束检查器派生过滤算法。 (英语) Zbl 1152.68539号 Wallace,Mark(编辑),约束编程的原理和实践–CP 2004。2004年9月27日至10月1日,加拿大多伦多,第十届国际会议,2004年CP。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-23241-4/pbk)。计算机科学课堂讲稿3258107-122(2004)。MSC公司:68T20型 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Beldiceanu}等人,Lect。注释计算。科学。3258、107-122(2004年;Zbl 1152.68539) 全文: 内政部
比尔亚纳·斯塔马托维奇 一类棋类迷宫的自动识别。 (英语) Zbl 1161.68553号 数学。蒙蒂斯尼格里 17, 67-73 (2004).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Stamatović},数学。Montisnigri蒙蒂斯尼格里17、67--73(2004;Zbl 1161.68553)
塞巴斯蒂安·巴拉 正则语言匹配和正则开放项之间约束的可满足性问题的其他可判定情况。 (英语) Zbl 1122.68462号 Diekert,Volker(编辑)等人,STACS 2004。2004年3月25日至27日,法国蒙彼利埃,第21届计算机科学理论方面年度研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21236-1/pbk)。计算机科学课堂讲稿2996596-607(2004)。MSC公司:第68季度第45季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bala},莱克特。注释计算。科学。2996596--607(2004年;Zbl 1122.68462) 全文: 内政部