亚历山德罗·罗曼内尔;科拉多·普里亚米 关于BlenX的计算能力。 (英语) Zbl 1186.68200号 西奥。计算。科学。 411,编号2,542-565(2010).MSC公司:2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Romanel}和\textit{C.Priami},Theor。计算。科学。411,第2号,542--565(2010;Zbl 1186.68200) 全文: 内政部 链接
A.罗曼内尔。;C·普里亚米。 关于β-结合物结构同余的可判定性和复杂性。 (英语) Zbl 1151.68040号 西奥。计算。科学。 404,编号1-2,156-169(2008).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Romanel}和\textit{C.Priami},Theor。计算。科学。404,编号1--2,156-169(2008;Zbl 1151.68040) 全文: 内政部 链接
科拉多·普里亚米;亚历山德罗·罗曼内尔 β-结合物结构一致性的可判定性。 (英语) Zbl 1277.68200号 Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》171,第2期,155-170(2007)。MSC公司:68问题85 03B25号 第92页第42页 PDF格式BibTeX公司 XML格式引用 \textit{C.Priami}和\textit{A.Romanel},电子。注释Theor。计算。科学。171,No.2,155--170(2007;Zbl 1277.68200) 全文: 内政部