马丁·库特里布;安德烈亚斯·马尔彻 具有稀疏通信的细胞自动机。 (英语) Zbl 1207.68214号 西奥。计算。科学。 411,编号38-39,3516-3526(2010).MSC公司:68问题80 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},Theor。计算。科学。411、编号38-39、3516-3526(2010;Zbl 1207.68214) 全文: 内政部 链接
亚当·克拉里奇;凯·萨洛马 分析具有慢停规则的汽车交通元胞自动机模型。 (英语) Zbl 1207.68212号 西奥。计算。科学。 411,第38-39号,3507-3515(2010).MSC公司:68问题80 PDF格式BibTeX公司 XML格式引用 \textit{A.Clarridge}和\textit{K.Salomaa},Theor。计算。科学。411、编号38-39、3507--3515(2010;Zbl 1207.68212) 全文: 内政部
赤雄藤桥 用生成树自动机识别有向非循环图。 (英语) Zbl 1207.68185号 西奥。计算。科学。 411,编号38-39,3493-3506(2010).MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \文本{A.Fujiyoshi},Theor。计算。科学。411、编号38-39、3493-3506(2010;Zbl 1207.68185) 全文: 内政部
稻田,Kazuhiro;细野县细野 (n)元常规查询的答案集的紧凑表示。 (英语) Zbl 1209.68158号 西奥。计算。科学。 411,编号38-39,3481-3492(2010).MSC公司:68第05页 65年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{K.Inaba}和\textit{H.Hosoya},Theor。计算。科学。411、第38-39、3481-3492号(2010;Zbl 1209.68158) 全文: 内政部
海姆,皮尔雷·科里尔;西里尔·尼科德;西尔万·施密茨 确定性树自动机的参数随机生成。 (英语) Zbl 1209.68298号 西奥。计算。科学。 411,编号38-39,3469-3480(2010).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.-C.Héam}等人,Theor。计算。科学。411、编号38-39、3469-3480(2010;Zbl 1209.68298) 全文: 内政部
泰瑟·图利;穆罕默德·法乌齐(Mohamed Faouzi Atig) 使用动态通信结构验证并行程序。 (英语) Zbl 1209.68114号 西奥。计算。科学。 411,编号38-39,3460-3468(2010).MSC公司:68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Touili}和\textit{M.F.Atig},Theor。计算。科学。411、编号38-39、3460-3468(2010;Zbl 1209.68114) 全文: 内政部
皮埃尔·甘蒂;尼古拉斯·马奎特;Jean-François拉斯金 交替自动机的定点引导抽象精化。 (英语) Zbl 1207.68186号 西奥。计算。科学。 411,编号38-39,3444-3459(2010).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Ganty}等人,Theor。计算。科学。411、编号38-39、3444-3459(2010;Zbl 1207.68186) 全文: 内政部
弗赖夫德斯(Rásiņsh) 确定性有限自动机中的非结构化量。 (英语) Zbl 1206.68155号 西奥。计算。科学。 411,编号38-39,3436-3443(2010).MSC公司:第68季度30 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{R.Freivalds},Theor。计算。科学。411,编号38-39,3436-3443(2010;Zbl 1206.68155) 全文: 内政部
卡隆,帕斯卡;Jean-Marc Champarnaud公司;卢多维奇·米格诺 使用多tilde-bar运算符的非循环自动机和小表达式。 (英语) Zbl 1207.68183号 西奥。计算。科学。 411,编号38-39,3423-3435(2010).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Caron}等人,Theor。计算。科学。411、编号38-39、3423-3435(2010;Zbl 1207.68183) 全文: 内政部
卡斯蒂廖内,G。;A.雷斯蒂沃。;西奥蒂诺,M。 关于Hopcroft算法的极端情况。 (英语) Zbl 1214.68193号 西奥。计算。科学。 411,编号38-39,3414-3422(2010).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Castiglione}等人,Theor。计算。科学。411、编号38-39、3414-3422(2010;Zbl 1214.68193) 全文: 内政部
马库斯·霍尔泽;安德烈亚斯·马莱蒂 一种超最小化(最小化)确定性自动机的算法。 (英语) Zbl 1206.68173号 西奥。计算。科学。 411,编号38-39,3404-3413(2010).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Holzer}和\textit{A.Maletti},Theor。计算。科学。411,编号38-39,3404--3413(2010;Zbl 1206.68173) 全文: 内政部
塞巴斯蒂安·马内思(编辑) 特刊:自动机的实施和应用(CIAA 2009)。根据2009年7月14日至17日在澳大利亚悉尼举行的第14届国际会议上的演讲选择的论文。 (英语) Zbl 1205.68018号 西奥。计算。科学。411,第38-39号,3403-3526(2010)。 MSC公司:68-06 第68季度30 70年第68季度 第68季度01 00时25分 PDF格式BibTeX公司 XML格式