Guellouma,尤内斯;哈达·切鲁恩 从树自动机到有理树表达式。 (英语) Zbl 1402.68117号 发现的国际期刊。计算。科学。 29,第6号,1045-1062(2018).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Guellouma}和\textit{H.Cherroun},国际期刊发现。计算。科学。29,第6号,1045--1062(2018;Zbl 1402.68117) 全文: 内政部
K.萨特纳。 可逆转导的迭代。 (英语) Zbl 1320.68116号 发现的国际期刊。计算。科学。 25,第7号,857-875(2014).MSC公司:65年第68季度 第68季度第70季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Sutner},国际法院发现。计算。科学。25,第7号,857--875(2014;Zbl 1320.68116) 全文: 内政部
玛丽安·盖奥吉;佩恩,古奥热;佩雷兹·吉梅内斯(Pérez-Jiménez),马里奥·J·。;格列泽戈兹·罗森贝格 [A.阿尔哈佐夫。;伊万诺夫,S。;罗杰欣,Y。;Csuhaj-Varjü,E。;潘,L。;T·宋。;Krithivasan,K。;A.拉马努扬。;瓦西尔,G。;A.莱波拉蒂。;G·莫里。;A.E.波雷卡。;C.赞德隆。;N.墨菲。;Riscos-Nüñez,A。;Rius-Font,M。;罗梅罗·希门尼斯。;卡瓦利埃,M。;瓦西里,C。;A.B.帕维尔。;Dumitrache,I。;F.伊帕特。;O.Agrigoroaiei。;阿曼,B。;乔巴努,G。;张,G。;V·曼卡。;Hinze,T。;F.J.罗梅罗·卡佩罗。;Obtulowicz,A。;Díaz-Pernil,D。;Gutiérrez Naranjo,硕士。;García-Quismondo,M。;马西亚斯·拉莫斯,L.F。;Martínez-del-Amor,医学硕士。;佩雷兹·赫塔多,I。;瓦伦西亚-卡布雷拉。] 膜计算的研究前沿:开放问题和研究课题。 (英语) 兹比尔1292.68065 发现的国际期刊。计算。科学。 24,第5期,547-623(2013).MSC公司:2010年第68季度 68-02 2005年第68季度 65年第68季度 60年第68季度 2017年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Gheorghe}等人,《国际法学杂志》发现。计算。科学。24,第5号,547--623(2013;Zbl 1292.68065) 全文: 内政部
纳塔莉亚·斯克里普纽克;尼尔森,弗莱明 使用Horn子句的有限状态过程代数的可达性。 (英语) Zbl 1295.68169号 发现的国际期刊。计算。科学。 24,第2期,283-302(2013). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:68问题85 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Skrypnyuk}和\textit{F.Nielson},国际发现杂志。计算。科学。24,第2号,283--302(2013;Zbl 1295.68169) 全文: 内政部
佐尔坦·埃西克;安德烈亚斯·马莱蒂 加权树自动机的模拟类别。 (英语) Zbl 1244.68046号 发现的国际期刊。计算。科学。 22,第8期,1845-1859(2011). 审核人:赛义德·萨利希(大不里士) MSC公司:65年第68季度 第68季度第70季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.e-sik}和\textit{A.Maletti},国际期刊发现。计算。科学。22,第8号,1845--1859(2011;Zbl 1244.68046) 全文: 内政部
佛罗伦萨伊帕特;拉卢卡左翼;克里斯蒂娜,Tudose 使用Spin对P系统进行正式验证。 (英语) Zbl 1213.68273号 发现的国际期刊。计算。科学。 22,第1期,133-142(2011).MSC公司:2010年第68季度 2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}等人,国际期刊发现。计算。科学。22,第1号,133--142(2011;Zbl 1213.68273) 全文: 内政部
艾曼纽·菲利奥特;让-马克·塔尔博特;苏菲·蒂森 具有全局约束的树自动机。 (英语) Zbl 1205.68199号 发现的国际期刊。计算。科学。 21,第4期,571-596(2010).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Filiot}等人,国际法学研究所。计算。科学。21,第4号,571--596(2010;Zbl 1205.68199) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;艾哈迈德·博阿贾尼;卢卡什·霍利克;丽莎·卡蒂;汤姆·沃纳 树自动机的合成互模拟。 (英语) Zbl 1176.68098号 发现的国际期刊。计算。科学。 20,第4期,685-700(2009年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Int.J.Found。计算。科学。20,第4号,685--700(2009;Zbl 1176.68098) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;约翰娜·霍格伯格;丽莎·卡蒂 树自动机的互模拟最小化。 (英语) Zbl 1143.68428号 发现的国际期刊。计算。科学。 18,第4号,699-713(2007).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Int.J.Found。计算。科学。18,第4号,699--713(2007;Zbl 1143.68428) 全文: 内政部
本杰明·阿齐兹;杰夫·汉密尔顿 使用过程计算对基于PKI的系统进行建模和分析。 (英语) Zbl 1117.68052号 发现的国际期刊。计算。科学。 18,第3号,593-618(2007).MSC公司:68问题85 68第25页 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{B.Aziz}和\textit{G.Hamilton},国际期刊发现。计算。科学。18,第3号,593--618(2007;Zbl 1117.68052) 全文: 内政部