乔瓦娜·达戈斯蒂诺;贾科莫·伦齐 有限平面图上的演算交替深度层次是无限的。 （英语） 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） 全文： 内政部 链接
乔瓦娜·达戈斯蒂诺;贾科莫·伦齐 关于有限对称图上的模态演算。 （英语） Zbl 1363.03003号 数学。斯洛伐克语 65，第4期，731-746（2015）。 审核人：朱利安·布拉德菲尔德（爱丁堡） MSC公司：03B45号 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}和\textit{G.Lenzi}，数学。斯洛伐克65，No.4，731--746（2015；Zbl 1363.03003） 全文： 内政部
乔瓦娜·达戈斯蒂诺;贾科莫·伦齐 关于（S5）中的模态演算及其应用。 （英语） Zbl 1284.68391号 芬丹。通知。 124，第4期，465-482（2013）。MSC公司：60年第68季度 03B45号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}和\textit{G.Lenzi}，Fundam。通知。124，第4号，465--482（2013；Zbl 1284.68391） 全文： 内政部
乔瓦娜·达戈斯蒂诺;贾科莫·伦齐 自反对称图上的模态演算。 （英语） Zbl 1276.03019号 J.日志。计算。 23，第3期，445-455（2013）。 审核人：坎·巴斯肯特（巴黎） MSC公司：03B45号 03B70号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}和\textit{G.Lenzi}，J.Log。计算。23，第3号，445--455（2013；Zbl 1276.03019） 全文： 内政部
乔瓦娜·达戈斯蒂诺;贾科莫·伦齐 关于具有小分支或小树宽的有限图上的模态演算。 （英语） Zbl 1245.03025号 发现的国际期刊。计算。科学。 第3期第23页，第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） 全文： 内政部
乔瓦娜·达戈斯蒂诺;贾科莫·伦齐 关于传递框架上的互刺激量词和不动点的一个注记。 （英语） Zbl 1173.03018号 J.日志。计算。 18，第4号，601-614（2008）。 审核人：达马斯·格鲁斯卡（布拉迪斯拉发） MSC公司：03B45号 03B70号 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}和\textit{G.Lenzi}，J.Log。计算。18，第4号，601--614（2008；Zbl 1173.03018） 全文： 内政部
乔瓦娜·达戈斯蒂诺 均匀插值、共刺激量词和不动点。 （英语） Zbl 1226.03033号 10 Cate，Balder D.（编辑）等人，《逻辑、语言和计算》。第六届第比利斯逻辑、语言和计算国际研讨会，2005年TbiLLC，格鲁吉亚巴统，2005年9月12-16日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-75143-4/pbk）。计算机科学课堂讲稿4363。人工智能课堂讲稿，96-116（2007）。MSC公司：03B45号 03B70号 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}，莱克特。注释计算。科学。4363，96-116（2007；Zbl 1226.03033） 全文： 内政部
达戈斯蒂诺，G。;Lenzi，G。 关于具有显式插值的模态演算。 （英语） Zbl 1106.03024号 J.应用。日志。 4，第3期，256-278（2006）。MSC公司：03B70号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}和\textit{G.Lenzi}，J.Appl。日志。4，第3号，256--278（2006；Zbl 1106.03024） 全文： 内政部
乔瓦娜·达戈斯蒂诺;贾科莫·伦齐 通过\（\mu\）-演算对互模拟量词进行公理化。 （英语） 兹比尔1080.68078 西奥。计算。科学。 338，编号1-3，64-95（2005）。 审核人：弗拉基米尔·科门丹茨基（科克） MSC公司：68问题85 60年第68季度 03B45号 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}和\textit{G.Lenzi}，Theor。计算。科学。338，编号1--3，64-95（2005；Zbl 1080.68078） 全文： 内政部
乔瓦娜·达戈斯蒂诺;马尔科·霍伦伯格 关于（mu）-演算的逻辑问题：插值、林登和奥斯-塔斯基。 （英语） Zbl 0982.03011号 J.塞姆。日志。 65，编号1，310-332（2000）。 审核人：彼得·扬查尔（俄斯特拉发） MSC公司：03B45号 03B70号 60年第68季度 05年3月 03C68号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}和textit{M.Hollenberg}，J.Symb。日志。65，编号1，310-332（2000；Zbl 0982.03011） 全文： 内政部
乔瓦娜·达戈斯蒂诺;马尔科·霍伦伯格 统一插值、自动机和模态演算。 （英语） Zbl 0906.03018号 Kracht，Marcus（编辑）等人，《模态逻辑的进展》。第1卷。1996年10月，德国柏林自由大学第一届AiML会议论文集。加利福尼亚州斯坦福：语言与信息研究中心（CSLI）。CSLI法律。笔记。87, 73-84 (1998).MSC公司：03B45号 03B70号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}和\textit{M.Hollenberg}，in：模态逻辑的进展。第1卷。1996年10月，德国柏林自由大学第一届AiML会议论文集。加利福尼亚州斯坦福：语言与信息研究中心（CSLI）。73-84（1998；Zbl 0906.03018）