乔瓦娜·达戈斯蒂诺;贾科莫·伦齐 有限平面图上的演算交替深度层次是无限的。 (英语) Zbl 1395.03009号 理论。计算。科学。 737, 40-61 (2018).MSC公司:03B45号 03B70号 05年3月 05年10月 65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}和\textit{G.Lenzi},Theor。计算。科学。737,40-61(2018;Zbl 1395.03009) 全文: 内政部 链接
Giovanna达戈斯蒂诺;贾科莫·伦齐 关于具有小分支或小树宽的有限图上的模态演算。 (英语) Zbl 1245.03025号 发现的国际期刊。计算。科学。 23,第3期,627-647(2012).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}和\textit{G.Lenzi},国际期刊发现。计算。科学。23,第3号,627--647(2012;Zbl 1245.03025) 全文: 内政部
乔瓦娜·达戈斯蒂诺;贾科莫·伦齐 判定传递模型上一致插值的存在性。 (英语) Zbl 1209.03012号 架构(architecture)。数学。逻辑 50,第1-2期,185-196(2011).MSC公司:03B45号 03B44号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}和\textit{G.Lenzi},拱门。数学。逻辑50,No.1--2,185--196(2011;Zbl 1209.03012) 全文: 内政部
乔万娜·达戈斯蒂诺;贾科莫·伦齐 关于传递框架和有限传递框架上的(mu)-演算。 (英语) Zbl 1208.68145号 理论。计算。科学。 411,第50号,4273-4290(2010).MSC公司:60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.D'agostino}和\textit{G.Lenzi},Theor。计算。科学。411,第50号,4273--4290(2010;Zbl 1208.68145) 全文: 内政部