保罗·塔劳 通过自然数的多集合分解,建立素性的一般观点。 (英语) Zbl 1358.11010号 西奥。计算。科学。 537, 105-124 (2014).MSC公司:11-04 11A41号机组 68甲18 PDF格式BibTeX公司 XML格式引用 \文本{P.Tarau},Theor。计算。科学。537105-124(2014年;Zbl 1358.11010) 全文: 内政部
范德梅尔,A.B。;范·齐吉尔,L。;杰尔登胡伊斯。 对称差分NFA的歧义性和结构歧义性。 (英语) Zbl 1359.68182号 西奥。计算。科学。 537, 97-104 (2014).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.B.van der Merwe}等人,Theor。计算。科学。537、97——104(2014年;Zbl 1359.68182) 全文: 内政部
莉莉亚娜·科乔卡鲁;埃尔基·梅基宁 关于一些派生机制及其Szilard语言的复杂性。 (英语) Zbl 1359.68151号 西奥。计算。科学。 537, 87-96 (2014).MSC公司:第68季度第42季度 2005年第68季度 2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Cojocaru}和\textit{E.Mäkinen},Theor。计算。科学。537、87-96(2014年;Zbl 1359.68151) 全文: 内政部
卡洛斯·阿雷塞斯;法孔多·卡雷罗;圣地亚哥菲格拉 通过饱和模型进行表征、可定义和分离。 (英语) Zbl 1323.03016号 西奥。计算。科学。 537, 72-86 (2014).MSC公司:03B45 03C50 03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.Areces}等人,Theor。计算。科学。537、72--86(2014;Zbl 1323.03016) 全文: 内政部
卢卡·埃特罗;戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;安娜·英格尔夫斯多蒂 在BCCSP上公理化弱模拟语义。 (英语) Zbl 1359.68183号 西奥。计算。科学。 537, 42-71 (2014).MSC公司:第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。537、42--71(2014年;Zbl 1359.68183) 全文: 内政部
沃尔克·迪克特;马丁·勒克 拓扑、可监控属性和运行时验证。 (英语) Zbl 1359.68164号 西奥。计算。科学。 537, 29-41 (2014).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}和\textit{M.Leucker},Theor。计算。科学。537、29-41(2014年;Zbl 1359.68164) 全文: 内政部
约阿金·比格;莫滕·雅各布森;拉塞·雅各布森;约根森、肯尼思·伊尔克;米凯尔·哈克杰·默勒;吉·斯尔巴 TCTL保留了从定时弧Petri网到定时自动机网络的转换。 (英语) Zbl 1359.68216号 西奥。计算。科学。 537, 3-28 (2014).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Byg}等人,Theor。计算。科学。537,3--28(2014;Zbl 1359.68216) 全文: 内政部
安东尼奥·塞隆(编辑);佩卡,皮拉贾萨里(编辑) 前言:计算的理论方面(ICTAC 2011)。 (英语) Zbl 1298.00245号 西奥。计算。科学。 537, 1-2 (2014).MSC公司:00B25型 68-06 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Cerone}(编辑)和\textit{P.Pihlajasaari}(主编),Theor。计算。科学。537,1--2(2014;Zbl 1298.00245) 全文: 内政部