蝉蜕、阿加塔;佛朗哥·蒙塔格纳 局部有限多值逻辑的证明理论:半投影逻辑。 (英语) Zbl 1322.03019号 西奥。计算。科学。 480, 26-42 (2013). 审核人:马特奥·比安奇(米兰) MSC公司:03B50 03财年03 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciabattoni}和\textit{F.Montagna},Theor。计算。科学。480,26-42(2013;Zbl 1322.03019) 全文: 内政部
西蒙·波娃;佛朗哥·蒙塔格纳 多项式空间硬度无析取性质。 (英语) Zbl 1298.68097号 西奥。计算。科学。 467, 1-11 (2013). 审核人:杰玛·罗伯斯(莱昂) MSC公司:2017年第68季度 03B70号 03B47号 03G25号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Bova}和\textit{F.Montagna},Theor。计算。科学。467,1--11(2013;Zbl 1298.68097) 全文: 内政部
西蒙·波娃;佛朗哥·蒙塔格纳 交换GBL代数逻辑中的结果关系是PSPACE完备的。 (英语) Zbl 1159.03045号 西奥。计算。科学。 410,编号12-13,1143-1158(2009).MSC公司:03G25号 03B52号 2015年3月1日 05年6月 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bova}和\textit{F.Montagna},Theor。计算。科学。410,编号12--131143--1158(2009;Zbl 1159.03045) 全文: 内政部
莱蒂齐亚·马格诺尼;马西莫·米罗利;佛朗哥·蒙塔格纳;朱利亚·西米 离散域上概率分布的PAC学习。 (英语) 兹比尔1038.68057 西奥。计算。科学。 299,编号1-3,37-63(2003).MSC公司:第68季度32 PDF格式BibTeX公司 XML格式引用 \textit{L.Magnoni}等人,Theor。计算。科学。299,编号1--3,37-63(2003;Zbl 1038.68057) 全文: 内政部