西蒙·克莱默;卡图西亚帕拉米德斯;罗伯特·塞加拉;安德烈亚·图里尼;克里斯特尔·布劳恩 概率过程的定量多弹性逻辑及其在信息挖掘中的应用。 (英语) Zbl 1186.68325号 J.应用。非类别。日志。 19,第4期,489-516(2009)。MSC公司:87年第68季度 03B45号 03B70号 68T42型 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{S.Kramer}等人,J.Appl。非类别。日志。19,第4号,489--516(2009;Zbl 1186.68325) 全文: 内政部
卢卡·阿尔贝鲁奇 S5上模态演算的序列演算。 (英语) 兹比尔1266.03028 J.日志。计算。 19,第6期,971-985(2009)。MSC公司:03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{L.阿尔伯奇},J.日志。计算。19,第6号,971--985(2009;Zbl 1266.03028) 全文: 内政部 链接
卢卡·阿尔贝鲁奇;亚历山德罗·法奇尼 转移系统受限类上的模态演算层次结构。 (英语) Zbl 1191.03012号 J.塞姆。日志。 74,第4期,1367-1400(2009)。 审核人:克莱门斯·库普克(伦敦) MSC公司:03B45号 03B70号 05第57页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Alberucci}和\textit{A.Facchini},J.Symb。日志。74,第4号,1367--1400(2009;Zbl 1191.03012) 全文: 内政部 链接
卢卡·阿尔贝鲁奇;亚历山德罗·法奇尼 关于模态演算和哥德尔逻辑。 (英语) Zbl 1201.03008号 螺柱日志。 91,第2期,145-169(2009)。MSC公司:03B45号 03层45 PDF格式BibTeX公司 XML格式引用 \textit{L.Alberucci}和\textit{A.Facchini},研究日志。91,第2号,145--169(2009;Zbl 1201.03008) 全文: 内政部 链接