阿托·萨洛马 反应系统和命题逻辑之间的函数结构。 (英语) Zbl 1359.68075号 发现的国际期刊。计算。科学。 24,第1期,147-159(2013).MSC公司:2005年第68季度 03B05号 2010年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Salomaa},国际发现杂志。计算。科学。24,第1号,147--159(2013;Zbl 1359.68075) 全文: 内政部
费宾·杜兰德 同态序列一致递归的可判定性。 (英语) Zbl 1286.68279号 发现的国际期刊。计算。科学。 24,第1期,123-146(2013).MSC公司:第68季度第45季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{F.Durand},Int.J.发现。计算。科学。24,第1号,第123--146条(2013;Zbl 1286.68279) 全文: 内政部 arXiv公司
马丁·埃姆森。;Larsen,Kim S。 一种精确计算区间图预着色扩展的技术。 (英语) Zbl 1269.05102号 发现的国际期刊。计算。科学。 24,第1期,109-122(2013).MSC公司:05C85号 05C15号 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Ehmsen}和\textit{K.S.Larsen},Int.J.Found。计算。科学。24,第1号,109--122(2013;Zbl 1269.05102) 全文: 内政部
马钦·比恩科夫斯基;巴布亚州扎勒夫斯基 匹配上的(1,2)-哈密顿完成。 (英语) Zbl 1268.90111号 发现的国际期刊。计算。科学。 24,第1期,95-108(2013).MSC公司:90立方厘米 05C45号 68周25 05C85号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bienkowski}和\textit{P.Zalewski}.国际法学研究所。计算。科学。24,第1号,95--108(2013;Zbl 1268.90111) 全文: 内政部
纳拉亚纳斯瓦米,N.S。;北卡罗来纳州萨达戈潘。 双(三)连通性和和弦增强的统一框架。 (英语) Zbl 1273.90175号 发现的国际期刊。计算。科学。 24,第1期,67-93(2013).MSC公司:90C27型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{N.S.Narayanaswamy}和\textit{N.Sadagopan},国际法院发现。计算。科学。24,第1号,67--93(2013;Zbl 1273.90175) 全文: 内政部
纪尧姆·布林;罗密欧·里兹;弗洛里安·西科拉;斯蒂芬·维亚莱特 一组重组子的最小镶嵌推断。 (英语) Zbl 1269.92057号 发现的国际期刊。计算。科学。 24,第1期,51-66(2013).MSC公司:92D15型 92D10型 92-08 PDF格式BibTeX公司 XML格式引用 \textit{G.Blin}等人,《国际法学杂志》发现。计算。科学。24,第1号,第51--66条(2013;Zbl 1269.92057) 全文: 内政部
奥古斯丁,约翰;韩、齐;菲利普·洛登;萨钦·洛达;罗伊,萨桑卡 无线传感器网络中最短路径聚合的严密分析。 (英语) Zbl 1268.68037号 发现的国际期刊。计算。科学。 24,第1期,31-50(2013).MSC公司:64岁以下 2017年第68季度 65年第68季度 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{J.Augustine}等人,国际法学研究所。计算。科学。24,第1号,第31--50号(2013;Zbl 1268.68037) 全文: 内政部
铃木、亚基拉;Kei内泽;周,肖 计算MOD功能的节能阈值电路。 (英语) Zbl 1285.68049号 发现的国际期刊。计算。科学。 24,第1期,15-29(2013).MSC公司:2015年第68季度 92C20美元 92B20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Suzuki}等人,国际期刊发现。计算。科学。24、1号、15--29(2013;Zbl 1285.68049) 全文: 内政部
彼得·弗洛德罗斯;安德烈·林加;佩尔森,米亚 实现更高效的感染和消防。 (英语) Zbl 1269.68068号 发现的国际期刊。计算。科学。 24,第1期,3-14(2013).MSC公司:68兰特 68周25 68M10个 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{P.Floderus}等人,国际期刊发现。计算。科学。24,第1号,第3-14号(2013;Zbl 1269.68068) 全文: 内政部
亚历克斯·波坦(编辑);塔索维格拉斯(编辑) 特刊:根据2011年1月17日至20日在澳大利亚珀斯举行的2011年CATS会议第17届“计算:澳大利亚理论研讨会”上的演示文稿选出的论文。 (英语) Zbl 1282.68074号 发现的国际期刊。计算。科学。24,第1期,93页。(2013). MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式