塔贾纳·彼得罗夫;克劳迪娅·伊格勒;阿里·塞兹金;托马斯·亨辛格(Thomas A.Henzinger)。;Calin C.盖特。 基因调节中的长期瞬变。 (英语) 兹比尔1518.92068 西奥。计算。科学。 893, 1-16 (2021).MSC公司:92C40型 PDF格式BibTeX公司 XML格式引用 \textit{T.Petrov}等人,Theor。计算。科学。893,1--16(2021;Zbl 1518.92068) 全文: 内政部
安德烈亚斯·马莱蒂 综述:自然语言处理中的有限状态技术。 (英语) Zbl 1373.68420号 西奥。计算。科学。 679, 2-17 (2017). 审核人:Ruxandra Stoean(克雷奥瓦) MSC公司:68T50型 第68季度第42季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.Maletti},Theor。计算。科学。679,2--17(2017;Zbl 1373.68420) 全文: 内政部
杰雷米·查洛平;达斯,山塔努;阿尔诺·拉博雷尔;欧里庇得斯·马库 同步环中具有分散代理的黑洞搜索的紧边界。 (英语) Zbl 1358.68315号 西奥。计算。科学。 509, 70-85 (2013).MSC公司:68宽15 68M10个 68米15 PDF格式BibTeX公司 XML格式引用 \textit{J.Chalopin}等人,Theor。计算。科学。509、70-85(2013年;Zbl 1358.68315) 全文: 内政部 arXiv公司
劳拉·博泽利;Legay、Axel;苏菲·平奇纳特 基本形式的预订单检查硬度。 (英语) Zbl 1227.68072号 西奥。计算。科学。 412,第49号,6795-6808(2011).MSC公司:60年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,Theor。计算。科学。412,第49号,6795--6808(2011;Zbl 1227.68072) 全文: 内政部
Robert M.Hierons。 分布式系统的规范有限状态机。 (英语) 兹比尔1186.68042 西奥。计算。科学。 411,第2期,566-580(2010).MSC公司:64岁以下 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{R.M.Hierons},Theor。计算。科学。411,No.2,566--580(2010;Zbl 1186.68042) 全文: 内政部 链接
盖雷德,卡格达斯E。;奥斯卡·H·伊巴拉。;巴拉·拉维库马尔;苏建文 服务组合中的最低成本委托。 (英语) Zbl 1171.68002号 西奥。计算。科学。 409,第3期,417-431(2008).MSC公司:64岁以下 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.E.Gerede}等人,Theor。计算。科学。409,第3号,417--431(2008;Zbl 1171.68002) 全文: 内政部
海宁·博迪恩;亨宁费尔瑙;马库斯·霍尔泽;文森佐·曼卡;卡洛斯·马丁·维德 作为语言生成设备的迭代顺序变换器。 (英语) 兹比尔1142.68420 西奥。计算。科学。 369,编号1-3,67-81(2006).MSC公司:65年第68季度 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bordihn}等人,Theor。计算。科学。369,编号1-3,67-81(2006年;兹bl 1142.68420) 全文: 内政部
佛罗伦萨伊帕特 使用状态计数对非可控流X机器进行测试。 (英语) Zbl 1088.68020号 西奥。计算。科学。 353,编号1-3,291-316(2006).MSC公司:68米15 PDF格式BibTeX公司 XML格式引用 \文本{F.Ipate},Theor。计算。科学。353,编号1--3,291--316(2006;Zbl 1088.68020) 全文: 内政部
洛佩斯,纳塔利娅;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 符号概率系统的规范、测试和实现关系。 (英语) Zbl 1088.68021号 西奥。计算。科学。 353,编号1-3,228-248(2006).MSC公司:68米15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.López}等人,Theor。计算。科学。353,编号1--3,228--248(2006;Zbl 1088.68021) 全文: 内政部
斯蒂芬·凯普瑟;乌韦·莫尼奇 线性无上下文树语言的闭包性质及其在最优性理论中的应用。 (英语) Zbl 1088.68081号 西奥。计算。科学。 354,第1期,82-97(2006).MSC公司:第68季度第42季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Kepser}和\textit{U.Mönnich},Theor。计算。科学。354,编号1,82--97(2006;Zbl 1088.68081) 全文: 内政部
克里斯·伯克;约翰·M·希区柯克。;维诺德钱德兰,N.V。 熵率和有限状态维。 (英语) Zbl 1085.37017号 西奥。计算。科学。 349,第3期,392-406(2005).MSC公司:37立方厘米 65年第68季度 2015年第68季度 28安培80 PDF格式BibTeX公司 XML格式引用 \textit{C.Bourke}等人,Theor。计算。科学。349,第3号,392--406(2005;Zbl 1085.37017) 全文: 内政部
傅、香;特夫菲克·布尔坦;苏建文 会话协议:一种规范和验证反应式电子服务的形式。 (英语) Zbl 1071.68002号 西奥。计算。科学。 328,第1-2、19-37号(2004年).MSC公司:68M10个 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{X.Fu}等人,Theor。计算。科学。328,编号1-2,19-37(2004年;兹bl 1071.68002) 全文: 内政部 链接
戴,杰克·J。;詹姆斯·拉思罗普。;杰克·卢茨。;埃尔维拉·马约多莫 有限状态尺寸。 (英语) Zbl 1071.68027号 西奥。计算。科学。 310,编号1-3,1-33(2004).MSC公司:2015年第68季度 28安培80 65年第68季度 37立方厘米 60G42型 68页30 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Dai}等人,Theor。计算。科学。310,编号1--3,1-33(2004;Zbl 1071.68027) 全文: 内政部
克里斯·巴雷特;亨特,哈里·B·III;马达夫·马拉特。;拉维,S.S。;丹尼尔·罗森克兰茨。;理查德·斯特恩斯(Richard E.Stearns)。 具有阈值函数的序列动力系统的可达性问题。 (英语) Zbl 1045.68062号 西奥。计算。科学。 295,编号1-3,41-64(2003).MSC公司:2010年第68季度 2017年第68季度 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{C.Barrett}等人,Theor。计算。科学。295,编号1--3,41-64(2003;Zbl 1045.68062) 全文: 内政部
马达瓦恩·穆昆德;Narayan Kumar,K。;米林·索霍尼 消息传递系统中的有界时间戳。 (英语) Zbl 1018.68003号 西奥。计算。科学。 290,第1期,221-239(2003).MSC公司:64岁以下 PDF格式BibTeX公司 XML格式引用 \文本{M.Mukund}等人,Theor。计算。科学。290,编号1,221--239(2003;Zbl 1018.68003) 全文: 内政部
托马斯·纳施拉格;沃尔夫冈·马斯 尖峰神经元和有限状态机的诱导。 (英语) 兹比尔1061.92023 西奥。计算。科学。 287,第1期,251-265(2002).MSC公司:92C20美元 68T05型 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Natschläger}和\textit{W.Maass},Theor。计算。科学。287,No.1,251--265(2002;Zbl 1061.92023) 全文: 内政部
富勒普,Z。;A.特鲁特。 重复重新标记树传感器。 (英语) Zbl 1002.68077号 西奥。计算。科学。 276,编号1-2,221-244(2002).MSC公司:第68季度第42季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Fülöp}和\textit{A.Terlutte},Theor。计算。科学。276,编号1--2,221--244(2002;Zbl 1002.68077) 全文: 内政部
罗兰·豪瑟 左联语法的复杂性。 (英语) Zbl 0787.68064号 西奥。计算。科学。 106,第2期,283-308(1992).MSC公司:第68季度第42季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{R.Hausser},Theor。计算。科学。106,第2号,283--308(1992;Zbl 0787.68064) 全文: 内政部
路易斯·罗西尔(Louis E.Rosier)。;Yen、Hsu-Chun 有限自动机通信的有界性、空通道检测和同步。 (英语) Zbl 0614.68049号 西奥。计算。科学。 44, 69-105 (1986). 审核人:H.Müller先生 MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.E.Rosier}和\textit{H.C.Yen},Theor。计算。科学。44,69-105(1986年;兹bl 0614.68049) 全文: 内政部