诺里奥·巴巴;Yoshio Mogami 层次结构学习自动机在一般非平稳多教师环境中的学习行为。 (英语) Zbl 1494.68127号 第36届ISCIE随机系统理论及其应用国际研讨会论文集,日本埼玉,2004年11月3日至4日。京都:系统、控制和信息工程师学会(ISCIE)。339-344 (2005).MSC公司:65年第68季度 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{N.Baba}和\textit{Y.Mogami},in:第36届ISCIE随机系统理论及其应用国际研讨会论文集,日本斋玉,2004年11月3-4日。京都:系统、控制和信息工程师学会(ISCIE)。339--344(2005年;Zbl 1494.68127)
西格丽德·吉尔根斯;Peter Ochsenschläger;卡斯滕·鲁道夫 保持参数机密性的抽象。 (英语) Zbl 1487.68063号 de Capitani di Vimercati,Sabrina(编辑)等人,《计算机安全——ESORICS 2005》。第十届欧洲计算机安全研究研讨会,意大利米兰,2005年9月12-14日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。3679, 418-437 (2005).MSC公司:68平方米25 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Gürgens}等人,Lect。注释计算。科学。3679、418--437(2005年;Zbl 1487.68063) 全文: 内政部
杰·利加蒂;卢乔·鲍尔;大卫·沃克 通过项目监督员执行非安全安全政策。 (英语) Zbl 1487.68070号 de Capitani di Vimercati,Sabrina(编辑)等人,《计算机安全–ESORICS 2005》。第十届欧洲计算机安全研究研讨会,意大利米兰,2005年9月12-14日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。3679, 355-373 (2005).MSC公司:68平方米25 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Ligatti}等人,Lect。注释计算。科学。3679、355--373(2005年;Zbl 1487.68070) 全文: 内政部 链接
新泽西州加巴索夫。;科奇卡列夫,B.S。 用有限线性和概率自动机实现离散概率过程。 (英语。俄文原件) Zbl 1497.68264号 俄罗斯数学。 49,No.11,1-4(2005);Izv的翻译。维什。乌切布。扎韦德。,Mat.2005,No.11,3-6(2005)。MSC公司:65年第68季度 60克07 PDF格式BibTeX公司 XML格式引用 \textit{N.Z.Gabbasov}和\textit{B.S.Kochkarev},俄罗斯数学。49,No.11,1--4(2005;Zbl 1497.68264);Izv的翻译。维什。乌切布。扎韦德。,材料2005,第11、3--6号(2005) 全文: MNR公司
加布里埃尔·迪米特里 关于形式语言在描述特定于客户端-服务器应用程序的等待过程中的使用。 (罗马尼亚语。英文摘要) Zbl 1405.68027号 斯皮鲁·哈雷特州立大学。材料-通知。 1, 57-62 (2005).MSC公司:68平方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Dimitriu},An.Univ.Spiru Haret,Ser。材料-通知。1、57--62(2005;Zbl 1405.68027)
安德烈·穆拉夫斯基。 关于状态有限语言中程序等价性的不可判定性。 (英语) Zbl 1367.68024号 ACM事务处理。计算。日志。 6,第4期,701-726(2005).MSC公司:68甲15 65年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Murawski},ACM翻译。计算。日志。6,第4号,701--726(2005;Zbl 1367.68024) 全文: 内政部
伯纳德·博伊格洛特;塞巴斯蒂安·佐多涅;皮埃尔·沃尔珀 整数和实数上线性算术的有效决策过程。 (英语) Zbl 1407.03052号 ACM事务处理。计算。日志。 6,第3期,614-633(2005).MSC公司:05年3月 30楼03号 03年2月25日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Boigelot}等人,《美国医学杂志》。计算。日志。6,第3号,614--633(2005;Zbl 1407.03052) 全文: 内政部 链接
阿夫拉蒂、福托;斯塔夫罗斯科斯马达基斯;尤格尼·福斯托科斯 数据日志程序及其持久性编号。 (英语) Zbl 1367.68026号 ACM事务处理。计算。日志。 6,第3期,481-518(2005).MSC公司:68N17号 05年6月15日 68号30 第68页,共15页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Afrati}等人,ACM Trans。计算。日志。6,第3号,481--518(2005;Zbl 1367.68026) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。;鲁帕克·马朱姆达尔;Jean-François拉斯金 符号转换系统的分类。 (英语) Zbl 1367.68193号 ACM事务处理。计算。日志。 6,第1期,1-32页(2005年).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,ACM Trans。计算。日志。6,第1号,1--32(2005;Zbl 1367.68193) 全文: 内政部
高井,Shigemasa;拉特内什·库马尔;Toshimitsu Ushio 共观察语言的特征及其超级/子语言的公式。 (英语) Zbl 1365.93306号 IEEE传输。自动。控制 50,第4期,434-447(2005).MSC公司:93元65角 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Takai}等人,IEEE Trans。自动。对照50,编号4,434--447(2005;Zbl 1365.93306) 全文: 内政部
Hadjicostis,Christopros N。 用于非电流错误检测和识别的有限状态机器嵌入。 (英语) Zbl 1365.68304号 IEEE传输。自动。控制 50,第2期,142-153(2005).MSC公司:65年第68季度 94C12号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.N.Hadjicostis},IEEE Trans。自动。对照50,编号2,142--153(2005;Zbl 1365.68304) 全文: 内政部
广岛吉田;高石洋森;阿基拉·苏亚马 通过形式语言对火山灰藻类的简单分类。 (英语) Zbl 1334.92013年 牛市。数学。生物。 67,第6期,1339-1354(2005).MSC公司:92B10型 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Yoshida}等人,公牛。数学。生物学67,第6期,1339--1354(2005;Zbl 1334.92013) 全文: 内政部
李平;李永明 一些格值有限自动机的关系。 (中文。英文摘要) Zbl 1332.68121号 模糊系统。数学。 19,第3期,96-100(2005).MSC公司:65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Li}和\textit{Y.M.Li},模糊系统。数学。19,第3号,96--100(2005;Zbl 1332.68121)
白明强;莫智文 关于fuzzy(\omega)正则语言的注释。 (中文。英文摘要) Zbl 1332.68107号 模糊系统。数学。 19,第3期,14-18(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Q.Bai}和\textit{Z.W.Mo},模糊系统。数学。19,第3号,14--18(2005;Zbl 1332.68107)
辛迪·艾斯纳;达纳·菲斯曼;约翰·哈夫利切克 弱点的拓扑特征。 (英语) Zbl 1314.68182号 2005年7月17日至20日,美国内华达州拉斯维加斯,PODC’05,第24届ACM分布式计算原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-994-2)。1-8 (2005).MSC公司:60年第68季度 03B44号 65年第68季度 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisner}等人,in:第24届ACM分布式计算原理年度研讨会论文集,PODC’05,拉斯维加斯,内华达州,美国,2005年7月17日至20日。纽约州纽约市:计算机协会(ACM)。1-8(2005;Zbl 1314.68182) 全文: 内政部
维拉吉·库马尔;马赫什·维斯瓦纳坦 存在多个故障时的一致性测试。 (英语) Zbl 1297.68146号 第十六届ACM-SIAM离散算法年度研讨会论文集,SODA 2005,加拿大不列颠哥伦比亚省温哥华,2005年1月23-25日。纽约州纽约市:ACM出版社(ISBN 0-89871-585-7)。1136-1145 (2005).MSC公司:65年第68季度 2017年第68季度 05C81号 05C20号 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{V.Kumar}和\textit{M.Viswanathan},in:第十六届年度ACM-SIAM离散算法研讨会论文集,SODA 2005,加拿大不列颠哥伦比亚省温哥华,2005年1月23日至25日。纽约州纽约市:ACM出版社。1136——1145(2005年;Zbl 1297.68146)
斯坦芬·甘霍德 优化马尔可夫模型并应用于三角连接编码。 (英语) Zbl 1297.68132号 2005年1月23日至25日,加拿大不列颠哥伦比亚省温哥华市,第十六届ACM-SIAM离散算法年会论文集,SODA 2005。纽约州纽约市:ACM出版社(ISBN 0-89871-585-7)。331-338(2005年)。MSC公司:65年第68季度 60J10型 68页30 68兰特 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{S.Gumhold},in:第十六届ACM-SIAM离散算法年度研讨会论文集,SODA 2005,加拿大不列颠哥伦比亚省温哥华,2005年1月23日至25日。纽约,纽约:ACM出版社。331-338(2005年;Zbl 1297.68132)
罗伯特·科尔文;西蒙·多尔蒂;林赛·格罗夫斯 通过模拟验证并发数据结构。 (英语) Zbl 1276.68062号 Derrick,John(编辑)等人,《REFINE 2005研讨会论文集》,英国吉尔福德,2005年4月。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记137,第2期,93-110(2005)。MSC公司:68第05页 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Colvin}等人,《电子》。注释Theor。计算。科学。137,第2号,93--110(2005;Zbl 1276.68062) 全文: 链接
雅库布·科齐克 正规语言的条件密度。 (英语) 兹比尔1272.68213 Lescanne,Pierre(编辑)等人,《第二届计算逻辑与应用研讨会论文集》(CLA 2004),法国里昂,2004年6月17日至18日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记140,67-79(2005)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Kozik},电子。注释Theor。计算。科学。140、67-79(2005年;Zbl 1272.68213) 全文: 链接
霍华德·鲍曼;鲁道夫·戈麦斯;苏,李 时间自动机中Zeno时间锁的语法检测工具。 (英语) Zbl 1272.68229号 Ulidowski,Irek(编辑),《2004年ARTS会议录》,第六届AMAST实时系统研讨会(ARTS 2004),英国斯特林,2004年7月12日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》139,第1期,25-47(2005)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bowman}等人,《电子》。注释Theor。计算。科学。139,编号1,25-47(2005;Zbl 1272.68229) 全文: 链接
奥尔加·格林斯坦;本特·琼森;马丁·勒克 时间转换系统的推断。 (英语) 兹比尔1272.68165 Bradfield,Julian(编辑)等人,第六届无限状态系统验证国际研讨会论文集(INFINITY 2004),英国伦敦,2004年9月4日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》138,第3期,87-99(2005)。MSC公司:68问题32 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{O.Grinchtein}等人,《电子》。注释Theor。计算。科学。138,第3号,87--99(2005;Zbl 1272.68165) 全文: 链接
兰科·拉齐奇;汤姆·纽科姆;比尔·罗斯科 具有数组、双计数器机器和多集重写的多态系统。 (英语) Zbl 1272.68268号 Bradfield,Julian(编辑)等人,第六届无限状态系统验证国际研讨会论文集(INFINITY 2004),英国伦敦,2004年9月4日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记138,第3期,61-86(2005)。MSC公司:60年第68季度 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lazić}等人,《电子》。注释Theor。计算。科学。138,第3号,61--86(2005;Zbl 1272.68268) 全文: 链接
彼得·哈贝梅尔;汤姆·沃纳 使用正则语言推理的正则模型检查。 (英语) Zbl 1272.68256号 Bradfield,Julian(编辑)等人,第六届无限状态系统验证国际研讨会论文集(INFINITY 2004),英国伦敦,2004年9月4日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》138,第3期,21-36(2005)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Habermehl}和\textit{T.Vojnar},电子。注释Theor。计算。科学。138,第3号,21-36(2005;Zbl 1272.68256) 全文: 链接
迪帕克·D’Souza;拉加文德拉,K.R。;芭芭拉·斯普里克 一种基于自动机的方法,用于验证信息流属性。 (英语) Zbl 1272.68237号 Degano,Pierpaolo(编辑)等人,安全协议分析自动化推理第二次研讨会论文集(ARSPA 2005),葡萄牙里斯本,2005年7月16日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》135,第1期,39-58(2005)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.D’Souza}等人,《电子》。注释Theor。计算。科学。135,第1号,39-58(2005;Zbl 1272.68237) 全文: 链接
艾哈迈德·科姆西;吕西安·韦德拉奥戈 一种新的时间自动机转换方法。 (英语) Zbl 1272.68211号 Mota,A.(编辑)等人,《巴西正式方法研讨会论文集》(SBMF 2004),巴西累西腓,2004年11月29日至12月1日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记130,101-128(2005)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Khoumsi}和\textit{L.Ouedraogo},电子。注释Theor。计算。科学。130、101-128(2005年;Zbl 1272.68211) 全文: 链接
弗兰克·卡塞兹;奥利维尔·H·鲁克斯。 从时间Petri网到时间自动机的结构转换。 (英语) Zbl 1272.68294号 Huth,Michael R.A.(编辑),《关键系统自动验证第四次国际研讨会论文集》(AVoCS 2004),英国伦敦,2004年9月4日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》128,第6期,145-160(2005)。MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Cassez}和\textit{O.H.Roux},电子。注释Theor。计算。科学。128,第6号,145-160(2005;Zbl 1272.68294) 全文: 链接
尼尔斯·克拉伦德;理查德·特雷弗勒 FIFO通道的规则性结果。 (英语) Zbl 1272.68306号 Huth,Michael R.A.(编辑),《关键系统自动验证第四次国际研讨会论文集》(AVoCS 2004),英国伦敦,2004年9月4日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》128,第6期,21-36(2005)。MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Klarlund}和\textit{R.Trefler},电子。注释Theor。计算。科学。128,编号6,21-36(2005年;兹bl 1272.68306) 全文: 链接
科妮莉亚·英格斯。;霍华德·巴林格 共享内存体系结构上的CTL模型检查。 (英语) Zbl 1272.68259号 Brim,Luboš(ed.)等人,第三届平行和分布式验证方法国际研讨会论文集(PDMC 2004),英国伦敦,2004年9月4日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》128,第3期,107-123(2005)。MSC公司:60年第68季度 68宽10 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{C.P.Inggs}和\textit{H.Barringer},电子。注释Theor。计算。科学。128,第3号,107-123(2005;Zbl 1272.68259) 全文: 链接
V·布拉伯曼。;奥利韦罗,A。;F.沙帕奇尼克。 分布式定时模型检查器Zeus中的实时工作负载预测和重新分配。 (英语) Zbl 1272.68231号 Brim,Luboš(ed.)等人,第三届平行和分布式验证方法国际研讨会论文集(PDMC 2004),英国伦敦,2004年9月4日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》128,第3期,3-18页(2005年)。MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Braberman}等人,《电子》。注释Theor。计算。科学。128,第3号,第3--18号(2005;Zbl 1272.68231) 全文: 链接
范·格拉贝克,R.J。 关于高维自动机(扩展抽象)的表达性。 (英语) Zbl 1272.68324号 Baeten,Jos(ed.)等人,《第11届并发表达性国际研讨会论文集》(EXPRESS 2004),英国伦敦,2004年8月30日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》128,第2期,5-34页(2005年)。MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.J.van Glabbeek},电子。注释Theor。计算。科学。128,第2号,第5--34号(2005;Zbl 1272.68324) 全文: 链接
萨扬·密特拉;阿彻,迈拉 证明自动机抽象属性的PVS策略。 (英语) Zbl 1272.68363号 Bonacina,M.P.(编辑)等人,第五届自动扣除策略国际研讨会论文集(strategies 2004),爱尔兰科克,2004年。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》125,第2期,45-65(2005)。MSC公司:68吨15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Mitra}和\textit{M.Archer},电子。注释Theor。计算。科学。125,第2号,45-65(2005;Zbl 1272.68363) 全文: 链接
丹尼尔·谢里丹 用SNF、交替自动机和Büchi自动机进行有界模型检验。 (英语) Zbl 1272.68276号 Biere,A.(ed.)等人,《第二届有界模型检验国际研讨会论文集》(BMC 2004),美国马萨诸塞州波士顿,2004年7月18日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记119,第2期,83-101(2005)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Sheridan},电子。注释Theor。计算。科学。119,No.2,83--101(2005;Zbl 1272.68276) 全文: 链接
艾琳·杜兰德 自动写入:术语重写系统和树自动机的工具。 (英语) Zbl 1272.68178号 Antoy,S.(ed.)等人,《第四届改写和编程简化策略国际研讨会论文集》(WRS 2004),德国亚琛,2004年6月2日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》124,第2期,29-49(2005)。MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Durand},电子。注释Theor。计算。科学。124,第2号,第29-49号(2005;Zbl 1272.68178) 全文: 链接
特蕾莎·伯格;本特·琼森;马丁·勒克;马扬克省萨克塞纳 对Angluin学习的见解。 (英语) 兹比尔1272.68164 Etalle,S.(ed.)等人,《软件验证与确认国际研讨会论文集》(SVV 2003),印度孟买,2003年12月9日至13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记118,3-18(2005)。MSC公司:68问题32 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Berg}等人,《电子》。注释Theor。计算。科学。118、3-18(2005年;Zbl 1272.68164) 全文: 链接
保罗·安德烈·梅利埃 异步游戏3是一个简单的线性逻辑模型。 (英语) Zbl 1272.03157号 Birkedal,L.(编辑),计算机科学范畴理论第十届会议论文集(CTCS 2004),丹麦哥本哈根,2004年8月12-14日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记122,171-192(2005)。MSC公司:03楼52 18立方厘米50 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{P.-A.Melliès},电子。注释Theor。计算。科学。122、171--192(2005年;Zbl 1272.03157) 全文: 链接
尼古拉耶夫,A.G。;努鲁丁诺夫,Sh.R。 实现有限确定性自动机的映射建模中的冗余减少。 (俄语) Zbl 1238.68078号 Nasyrov,I.Z.(编辑)等,《信息科学研究》。9号。喀山:伊兹德。“Otechostvo”(ISBN 5-9222-0119-0)。81-86(2005年)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.G.Nikolaev}和\textit{Sh.R.Nurutdinov},单位:ИссЛеДоВаниааоинформатике。Вып。9.喀山:伊兹德``Otechostvo“”。81-86(2005年;兹bl 1238.68078) 全文: MNR公司
亚历山大·梅杜纳;卢博什·洛伦茨 自再现下推传感器。 (英语) Zbl 1249.68104号 凯贝内提卡 41,第4期,531-537(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Meduna}和\textit{L.Lorenc},凯贝内提卡41,第4期,531--537(2005;Zbl 1249.68104) 全文: 欧洲DML 链接
新墨西哥州希洛夫。 在阿瑟·普赖尔(Arthur Prior)的家中为命题线性时序逻辑设计了类似于表格的公理化。 (英语) Zbl 1249.68110号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 23113-136(2005年).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{N.V.Shilov},Jt。牛市。NCC IIS,序列号。计算。科学。23、113--136(2005年;Zbl 1249.68110)
内德霍夫,Mark-Jan 在语言模型上训练语言模型的通用技术。 (英语) Zbl 1234.68231号 计算。语言学家。 31,第2期,173-185(2005).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.-J.Nederhof},计算机。语言学家。31,第2号,173--185(2005;Zbl 1234.68231) 全文: 内政部
A.E.鲍里索夫。 由带有两类非终结符的语法生成的随机无上下文语言的性质。 (俄语) Zbl 1249.68096号 磁盘重新启动。分析。伊斯斯莱德。操作。,序列号。1 12,第3号,3-31(2005).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Borisov},Diskretn。分析。伊斯斯莱德。操作。,序列号。1 12,3号,3--31(2005;Zbl 1249.68096)
舒尔,A.M。 有理语言的组合复杂性。 (俄语) Zbl 1249.68107号 磁盘重新启动。分析。伊斯斯莱德。操作。,序列号。1 12,第2期,78-99(2005).MSC公司:65年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Shur},磁盘。分析。伊斯斯莱德。操作。,序列号。1 12,第2号,78-99(2005年;兹bl 1249.68107)
乔什·邦加德;霍德·利普森 确定性有限自动机的主动协同进化学习。 (英语) Zbl 1222.68151号 J.马赫。学习。物件。 6, 1651-1678 (2005).MSC公司:68T05型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Bongard}和\textit{H.Lipson},J.Mach。学习。第6号决议,1651-1678(2005年;Zbl 1222.68151) 全文: 链接
Somasundaram,房间。;拉贾塞卡尔,M。 模糊自动机中的同步。 (英语) Zbl 1221.68148号 牛市。纯应用程序。科学。,第节。E、 数学。斯达。 24,第1期,117-121(2005).MSC公司:65年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{Somasundaram房间}和\textit{M.Rajasekar},公牛。纯应用程序。科学。E、 数学。Stat.24,No.1,117--121(2005;Zbl 1221.68148)
佛罗伦萨伊帕特;都铎Balanescu 确定性覆盖有限状态机的测试过程。 (英语) Zbl 1240.68121号 罗马J。 1,第2期,115-126(2005).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}和\textit{T.Balanescu},《罗马杂志》第1卷第2期,第115-126页(2005年;Zbl 1240.68121)
拉贾勒特南,T。;阿亚斯瓦米,S.K。 模糊自动机和诱导幺半群。 (英语) Zbl 1225.68102号 牛市。纯应用程序。科学。,第节。E、 数学。斯达。 24,第2期,279-287(2005).MSC公司:65年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{T.Rajaretnam}和\textit{S.K.Ayyaswamy},公牛。纯应用程序。科学。E、 数学。Stat.24,No.2,279--287(2005;Zbl 1225.68102)
Safonov,K.V.公司。 关于形式化编程语言的语法分析和属性。 (俄语。英文摘要) Zbl 1212.68084号 维奇尔。特克诺尔。 10,规范发行。1, 10-15 (2005).MSC公司:2012年第68季度 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{K.V.Safonov},维奇斯。特克诺尔。10、10-15(2005;Zbl 1212.68084)
米科拉伊·博扬奇克;托马斯·科尔科姆贝特 树行走自动机不能识别所有的正则语言。 (英语) Zbl 1192.68406号 STOC'05:第37届美国计算机学会计算理论年会论文集,美国马里兰州巴尔的摩,2005年5月22日至24日。纽约州纽约市:计算机机械协会(ACM)(ISBN 1-58113-960-8)。234-243 (2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bojanczyk}和\textit{T.Colcombet},摘自:第37届ACM计算理论研讨会论文集,STOC'05。美国马里兰州巴尔的摩,2005年5月22日至24日。纽约州纽约市:计算机协会(ACM)。234--243(2005;Zbl 1192.68406) 全文: 内政部
丹尼斯·莫雷尔;弗兰茨·根特纳 自动机和字典。 (英语) Zbl 1189.68072号 计算中的文本6.伦敦:国王学院出版物(ISBN 1-904987-32-X)。235页。(2005年)。MSC公司:65年第68季度 68T50型 68-02 PDF格式BibTeX公司 XML格式引用 \textit{D.Maurel}和\textit{F.Guenthner}、Automata和字典。伦敦:国王学院出版物(2005;Zbl 1189.68072)
博什特詹·斯利夫尼克;博什特詹·维尔凡 在自底向上解析期间生成左解析。 (英语) Zbl 1184.68173号 Inf.流程。莱特。 96,第6期,220-224(2005).MSC公司:68N20型 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{B.Slivnik}和\textit{B.Vilfan},Inf.过程。莱特。96,第6号,220--224(2005;Zbl 1184.68173) 全文: 内政部
爱德华多·莫雷诺 通用语言的de Bruijn序列和de Bruij图。 (英语) Zbl 1184.68323号 Inf.流程。莱特。 96,第6期,214-219(2005).MSC公司:65年第68季度 68兰特 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{E.Moreno},Inf.过程。莱特。96,第6号,214--219(2005;Zbl 1184.68323) 全文: 内政部
赵建华;李宣东;郑国良 一种基于二次DBM的时间自动机检测后继算法。 (英语) Zbl 1184.68335号 Inf.流程。莱特。 96,第3期,101-105(2005).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhao}等人,Inf.过程。莱特。96,第3号,101--105(2005;Zbl 1184.68335) 全文: 内政部
莫里斯·比克。;码头Kleijn I/O自动机团队的模块化。 (英语) Zbl 1185.68382号 Inf.流程。莱特。 95,第5期,487-495(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}和\textit{J.Kleijn},Inf.Process。莱特。95,第5号,487--495(2005;Zbl 1185.68382) 全文: 内政部
Jean Goubault Larrecq先生 通过分辨率确定\(\mathcal H_1\)。 (英语) Zbl 1185.68620号 Inf.流程。莱特。 95,第3期,401-408(2005).MSC公司:68吨15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Goubault-Larrecq},Inf.过程。莱特。95,编号3,401-408(2005年;兹bl 1185.68620) 全文: 内政部
贝内德克·纳吉 论东北星条旗的语言等值。 (英语) Zbl 1185.68395号 Inf.流程。莱特。 95,第3期,396-400(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Nagy},Inf.过程。莱特。95,第3号,396--400(2005;Zbl 1185.68395) 全文: 内政部
博多·马奈 任意度量的加权多序列比对的不近似性。 (英语) Zbl 1185.68833号 Inf.流程。莱特。 95,第3期,389-3995(2005).MSC公司:68周05 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Manthey},Inf.过程。莱特。95,第3号,389--395(2005;Zbl 1185.68833) 全文: 内政部
彼得·法利舍夫斯基;Janusz Jarosz公司 一致硬语言的属性。 (英语) Zbl 1185.68357号 Inf.流程。莱特。 95,第1号,329-332(2005).MSC公司:65年第68季度 65年第68季度 2015年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Faliszewski}和\textit{J.Jarosz},Inf.Process。莱特。95,第1号,329--332(2005;Zbl 1185.68357) 全文: 内政部
Darondeau博士。 语言的相等性与有界Petri网和持久Petri网的可达状态图的同构性相一致。 (英语) Zbl 1182.68138号 Inf.流程。莱特。 94,第6241-245号(2005年).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Ph.Darondeau},Inf.过程。莱特。94,第6号,241--245(2005;Zbl 1182.68138) 全文: 内政部
阿南塔拉曼,湿婆;巴利亚特·纳伦德兰;迈克尔·鲁西诺维奇 dag自动机的闭包性质和决策问题。 (英语) Zbl 1182.68099号 Inf.流程。莱特。 94,第5期,231-240(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Anantharaman}等人,《Inf.过程》。莱特。94,编号52231-240(2005年;兹bl 1182.68099) 全文: 内政部
亚历克斯·布罗茨基 width-4和width-5置换分支程序之间的不可能间隙。 (英语) Zbl 1182.68101号 Inf.流程。莱特。 94,第4期,159-164(2005).MSC公司:65年第68季度 2017年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Brodsky},Inf.过程。莱特。94,第4号,159--164(2005;Zbl 1182.68101) 全文: 内政部
Juha Honkala HDT0L序列类相对于有理函数是闭的。 (英语) Zbl 1177.68137号 Inf.流程。莱特。 94,第4期,155-158(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Honkala},Inf.过程。莱特。94,第4号,155--158(2005;Zbl 1177.68137) 全文: 内政部
维萨·哈拉瓦;特罗·哈尔朱;米歇尔·拉特奥 前缀语态和正则星型语言的相等集。 (英语) Zbl 1182.68104号 Inf.流程。莱特。 94,第4期,151-154(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Halava}等人,《信息处理》。莱特。94,第4号,151--154(2005;Zbl 1182.68104) 全文: 内政部
奥利维尔·芬克尔 关于时间自动机的决策问题。 (英语) Zbl 1169.68467号 牛市。欧洲协会。计算。科学。EATCS公司 87185-190(2005年).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel},公牛。欧洲协会。计算。科学。EATCS 87,185--190(2005;Zbl 1169.68467)
佩德罗·加西亚;曼努埃尔·Vázquez de Parga 关于大型NFA中可合并状态的注释。 (英语) Zbl 1169.68470号 牛市。欧洲协会。计算。科学。EATCS公司 87, 181-184 (2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.García}和\textit{M.Vázquez de Parga},公牛。欧洲协会。计算。科学。EATCS 87,181--184(2005;Zbl 1169.68470)
维萨·哈拉瓦;特罗·哈尔朱;米歇尔·拉特奥 用等式集表示正则语言。 (英语) Zbl 1169.68472号 牛市。欧洲协会。计算。科学。EATCS公司 86, 224-228 (2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Halava}等人,公牛。欧洲协会。计算。科学。EATCS 86、224--228(2005;Zbl 1169.68472)
迈克尔·多马拉茨基 更多关于轨迹的文字。 (英语) Zbl 1169.68465号 牛市。欧洲协会。计算。科学。EATCS公司 86, 107-145 (2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Domaratzki},公牛。欧洲协会。计算。科学。EATCS 86、107--145(2005年;Zbl 1169.68465)
米查尔·库克 简单的语言方程式。 (英语) Zbl 1169.68483号 牛市。欧洲协会。计算。科学。EATCS公司 85, 81-102 (2005).MSC公司:65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kunc},公牛。欧洲协会。计算。科学。EATCS 85,81--102(2005;Zbl 1169.68483)
赤雄藤桥 一元无上下文树文法的线性和不删除性。 (英语) Zbl 1173.68551号 Inf.流程。莱特。 93,第3期,103-107(2005).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Fujiyoshi},Inf.过程。莱特。93,第3号,第103-107条(2005;Zbl 1173.68551) 全文: 内政部
罗伯托·塞拉;马可·维拉尼;卢卡·阿戈斯蒂尼 一个小世界网络,其中所有节点都具有相同的连接,应用于布尔交互自动机的动力学。 (英语) Zbl 1167.05330号 复杂系统。 15,第2期,137-155(2005).MSC公司:05C80号 37B15号机组 68问题80 94C99号 68M10个 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Serra}等人,《复杂系统》。15,第2号,137--155(2005;Zbl 1167.05330)
基利巴达,G。;库德拉夫采夫,V.B。;Ushchumlich女士。 迷宫中的自动机系统。 (俄语) 兹比尔1175.68248 材料Vopr。基伯恩。 14, 93-160 (2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Kilibarda}等人,Mat.Vopr。基伯恩。14、93-160(2005;Zbl 1175.68248)
马西耶·奥格罗德尼祖克 维德辛基波兰语语法的延伸。 (英语) Zbl 1147.68765号 架构(architecture)。控制科学。 15,第3期,393-402(2005).MSC公司:68T50型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ogrodniczuk},拱门。控制科学。15,第3号,393--402(2005;Zbl 1147.68765)
Shakhbazyan,K.V.公司。;Yu Shukuryan。G。 EMSO-具有事件结构的某些语言的可定义性。 (英语。俄文原件) Zbl 1145.03316号 数学杂志。科学。,纽约 130,第2期,4624-4630(2005);Zap的翻译。诺什。塞明。POMI 304128-140(2003)。MSC公司:05年3月 03B15号机组 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.V.Shakhbazyan}和\textit{Yu.G.Shukuryan},J.Math。科学。,纽约130,No.2,4624--4630(2005;Zbl 1145.03316);Zap的翻译。诺什。塞明。POMI 304、128--140(2003) 全文: 内政部
洛杉矶托尔马切夫斯卡娅。 关于循环实验长度的较低估计。 (俄语) Zbl 1137.68426号 事务处理仪表价格。材料Mekh。 10, 214-223 (2005). 审核人:瓦列里·科兹洛夫斯基(顿涅茨克) MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Tolmachevskaya},Tr.Inst.Prikl公司。马特·梅赫。10、214--223(2005;Zbl 1137.68426)
斯科贝列夫,V.G。 有限自动机识别的一些估计。 (俄语) Zbl 1137.68425号 事务处理仪表价格。材料Mekh。 10, 190-200 (2005). 审核人:瓦列里·科兹洛夫斯基(顿涅茨克) MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.G.Skobelev},Tr.Inst.Prikl公司。马特·梅赫。10190-200(2005年;兹bl 1137.68425)
Sapunov,S.V.公司。 无向标记图等价类的结构。 (俄语) Zbl 1137.68423号 事务处理仪表价格。材料Mekh。 10, 166-172 (2005). 审核人:瓦列里·科兹洛夫斯基(顿涅茨克) MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.V.Sapunov},Tr.Inst.Prikl公司。马特·梅赫。10166--172(2005年;Zbl 1137.68423)
卡斯滕·弗里茨 LTL中的自动机构建概念。 (英语) Zbl 1143.68436号 Sutcliffe,Geoff(编辑)等人,《编程逻辑、人工智能和推理》。2005年12月2日至6日在牙买加蒙特哥湾举行的2005年第12届LPAR国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-30553-8/pbk)。计算机科学课堂讲稿3835728-742(2005)。MSC公司:65年第68季度 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{C.Fritz},莱克特。注释计算。科学。3835728--742(2005年;Zbl 1143.68436) 全文: 内政部
戴安·塔巴科夫;莫舍·瓦尔迪。 经典自动机构造的实验评估。 (英语) Zbl 1143.68443号 Sutcliffe,Geoff(编辑)等人,《编程逻辑、人工智能和推理》。2005年12月2日至6日在牙买加蒙特哥湾举行的2005年第12届LPAR国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-30553-8/pbk)。计算机科学课堂讲稿3835396-411(2005)。MSC公司:65年第68季度 60年第68季度 68周05 PDF格式BibTeX公司 XML格式引用 \textit{D.Tabakov}和\textit{M.Y.Vardi},Lect。注释计算。科学。3835396--411(2005年;Zbl 1143.68443) 全文: 内政部
大崎,Hitoshi;Jean-Marc Talbot;苏菲·蒂森;罗斯、伊夫斯 单调AC树自动机。 (英语) Zbl 1143.68441号 Sutcliffe,Geoff(编辑)等人,《编程逻辑、人工智能和推理》。2005年12月2日至6日在牙买加蒙特哥湾举行的2005年第12届LPAR国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-30553-8/pbk)。计算机科学课堂讲稿3835337-351(2005)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Ohsaki}等人,Lect。注释计算。科学。3835337--351(2005年;Zbl 1143.68441) 全文: 内政部
库马尔·内拉吉(Kumar Neeraj Verma);让·古鲍特·拉雷克 卡普·米勒树是VASS的分支扩展。 (英语) Zbl 1152.68462号 离散数学。西奥。计算。科学。 7,第1期,217-239(2005).MSC公司:65年第68季度 03年2月25日 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{K.N.Verma}和\textit{J.Goubault-Larrecq},离散数学。西奥。计算。科学。7,第1号,217--239(2005;Zbl 1152.68462) 全文: 欧洲DML 链接
杰拉德·H·E·杜尚。;哈泰姆·哈吉·卡塞姆;埃里克·劳格洛特 代数消除\(\ε\)-跃迁。 (英语) Zbl 1152.68458号 离散数学。西奥。计算。科学。 7,第1号,51-69(2005).MSC公司:65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.H.E.Duchamp}等人,《离散数学》。西奥。计算。科学。7,第1号,51--69(2005;Zbl 1152.68458) 全文: 欧洲DML 链接
阿波法齐尔·法托拉赫扎德 学习一大组单词的形态特征。 (英语) 兹比尔1135.68456 J.汽车。语言梳。 10,编号5-6,655-669(2005).MSC公司:65年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Fatholahzadeh},J.Autom。语言梳。10,编号5--6655--669(2005;Zbl 1135.68456)
洛克·克利奥帕斯;杰勒德·茨瓦恩 构建因子预言。 (英语) Zbl 1135.68453号 J.汽车。语言梳。 10,编号5-6,627-640(2005).MSC公司:65年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{L.Cleophas}和\textit{G.Zwaan},J.Autom。语言梳。10,编号5--6627--640(2005;Zbl 1135.68453)
安德烈亚斯·马莱蒂;福格勒、海科 多项式树级数变换类的不相容性结果。 (英语) Zbl 1143.68439号 J.汽车。语言梳。 10,第4期,535-568(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Maletti}和\textit{H.Vogler},J.奥托姆。语言梳。10,第4号,535--568(2005;Zbl 1143.68439)
兹索尔特加兹达格 形状保持自下而上树传感器。 (英语) Zbl 1143.68437号 J.汽车。语言梳。 10,第4期,483-534(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Gazdag},J.Autom(汽车杂志)。语言梳。10,第4号,483--534(2005;Zbl 1143.68437)
克里斯蒂安·弗劳格尼;劳伦·维隆 通过替换对有限类型的二维约束进行编码。 (英语) Zbl 1153.68401号 J.汽车。语言梳。 10,第4期,465-482(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Frougny}和\textit{L.Vuillon},J.Autom。语言梳。10,第4号,465--482(2005;Zbl 1153.68401)
奥利维尔·芬克尔 关于无上下文语言的Wadge层次结构的长度。 (英语) Zbl 1146.68386号 J.汽车。语言梳。 10,第4期,439-464(2005).MSC公司:65年第68季度 03E15年 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel},J.Autom(美国汽车制造商协会)。Lang.梳。10,第4号,439--464(2005;Zbl 1146.68386)
基思·埃卢;布莱恩·克拉维茨;杰弗里·沙利特;王明伟 正则表达式:新结果和开放问题。 (英语) Zbl 1143.68434号 J.汽车。Lang.梳。 10,第4期,407-437(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Ellul}等人,J.Autom。语言梳。10,第4号,407--437(2005;Zbl 1143.68434)
帕特里夏·鲍耶;Fabrice骑士 时间自动机扩展的简洁性。 (英语) Zbl 1146.68384号 J.汽车。语言梳。 10,第4期,393-405(2005).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}和\textit{F.Chevalier},J.Autom。语言梳。10,第4号,393--405(2005;Zbl 1146.68384)
索洛夫·埃夫。 分裂内部状态以减少有限自动机函数中的参数数量。 (英语。俄文原件) Zbl 1126.68462号 J.计算。系统。科学。国际。 44,第5期,777-783(2005);Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2005年,第5期,第113-119页(2005年)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Solov'ev},J.计算。系统。科学。国际44,第5号,777--783(2005;Zbl 1126.68462);Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2005年第5期,第113--119号(2005)
V.P.马斯洛夫。 对频率字典中齐普夫定律的改进。 (英语。俄文原件) Zbl 1206.82009年 多克。数学。 72,第3期,942-945(2005);Dokl翻译。阿卡德。恶心,罗斯。阿卡德。Nauk 405,第5期,591-594(2005)。MSC公司:82B10型 68T50型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.P.Maslov},多克。数学。72,第3号,942--945(2005;Zbl 1206.82009);Dokl翻译。阿卡德。恶心,罗斯。阿卡德。Nauk 405,No.5,591--594(2005)
皮埃尔·雷蒂;朱莉·武奥托 重写策略的树自动机。 (英语) Zbl 1129.68036号 J.塞姆。计算。 40,第1期,749-794(2005).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Réty}和\textit{J.Vuotto},J.Symb。计算。40,第1号,749--794(2005;Zbl 1129.68036) 全文: 内政部
德克森,哈姆;伊曼纽尔·詹德尔;帕斯卡·科伊兰 量子自动机和代数群。 (英语) Zbl 1124.81004号 J.塞姆。计算。 39,第3-4号,357-371(2005).MSC公司:81页68 65年第68季度 20世纪15年代 PDF格式BibTeX公司 XML格式引用 \textit{H.Derksen}等人,J.Symb。计算。39,编号3--4,357--371(2005;Zbl 1124.81004) 全文: 内政部 链接
斯泰格,L。 Hausdorff度量和Łukasiewicz语言。 (英语) 兹比尔1124.68057 加州大学洛杉矶分校 11,第12号,2114-2124(2005).MSC公司:65年第68季度 28A78号 28A80型 37立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Staiger},J.UCS 11,第12号,2114--2124(2005;Zbl 1124.68057) 全文: 链接
盛,李;雷洪轩;李永明 格值正则语言的属性。 (中文。英文摘要) Zbl 1122.68072号 纯应用程序。数学。 21,第1期,33-38(2005).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Sheng}等人,Pure Appl。数学。21、第1号、第33--38号(2005;Zbl 1122.68072)
Kieu Van Hung公司;阮屈康 超码和超码的嵌入算法。 (英语) Zbl 1116.94007号 越南J.数学。 33,第2期,199-206(2005). 审核人:JerzyŻurawiecki(卢布林) MSC公司:94A45型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Kieu Van Hung}和\textit{Nguyen Quy Khang},越南数学杂志。33,编号2199-206(2005年;Zbl 1116.94007)
赛义德·西德基 只有非(阿贝尔型)群。 (英语) Zbl 1114.20016号 Bartholdi,Laurent(编辑)等人,《无限群:几何、组合和动力学方面》。基于2003年6月1日至6日在意大利盖塔举行的国际群论会议:无限群的几何、组合和动力学方面。巴塞尔:Birkhä用户(ISBN 3-7643-7446-2/hbk)。数学进展248,389-402(2005)。MSC公司:20F05型 20E22型 20层50 05二氧化碳 20E08年 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Sidki},程序。数学。248389--402(2005;Zbl 1114.20016)
德国蒂施勒 参数加权有限自动机的性质和应用。 (英语) 兹比尔1161.68554 J.汽车。语言梳。 10,编号2-3,347-365(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Tischler}、J.Autom。语言梳。10,编号2--3347--365(2005;Zbl 1161.68554)
丹尼尔·克里斯滕;伊纳州梅瑟 关于加权自动机的确定。 (英语) Zbl 1161.68542号 J.汽车。语言梳。 10,编号2-3287-312(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kirsten}和\textit{I.Mäurer},J.Autom。语言梳。10,编号2--3,287--312(2005;Zbl 1161.68542)
马蒂厄·吉罗;多米尼克·拉维尼耶 在基因组加权有限自动机中删除ε转换时处理硬件空间限制。 (英语) Zbl 1161.68530号 J.汽车。语言梳。 10,编号2-3,265-285(2005).MSC公司:65年第68季度 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Giraud}和\textit{D.Lavenier},J.Autom。语言梳。10,编号2--3,265--285(2005;Zbl 1161.68530)
佐尔坦·埃西克;沃纳·库奇 正则语言II(^1)的半环半模推广。 (英语) Zbl 1161.68524号 J.汽车。Lang.梳。 10,编号2-3,243-264(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.e-sik}和\textit{W.Kuich},J.Autom。Lang.梳。10,编号2--3,243--264(2005;Zbl 1161.68524)
佐尔坦·埃西克;沃纳·库奇 正则语言的半环半模推广。 (英语) Zbl 1161.68025号 J.汽车。语言梳。 10,编号2-3,203-242(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.e-sik}和\textit{W.Kuich},J.Autom。语言梳。10,编号2--3203-242(2005;Zbl 1161.68025)