迪伦·贝利尔;马西莫·贝内雷切蒂;黛拉·莫妮卡，达里奥;法比奥·莫加韦罗 交替（在）依赖友好的逻辑。 （英语） Zbl 07741119号 Ann.纯粹应用。逻辑 174，第10号，文章ID 103315，58 p.（2023）.MSC公司：03B60号 03B70号 03C80号 03C90号 68T27型 91A28型 PDF格式BibTeX公司 XML格式引用 \textit{D.Bellier}等人，Ann.Pure Appl。逻辑174，第10号，文章ID 103315，58页（2023；Zbl 07741119） 全文： 内政部 arXiv公司
迪伦·贝利尔;马西莫·贝内雷切蒂;黛拉·莫妮卡，达里奥;法比奥·莫加韦罗 Good-for-game QPTL：一种交替的hodges语义。 （英语） Zbl 07650600号 ACM事务处理。计算。日志。 24，第1号，第4条，57页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Bellier}等人，ACM Trans。计算。日志。24，第1号，第4条，57页（2023年；Zbl 07650600） 全文： 内政部 arXiv公司
盖尔·方丹;法比奥·莫加韦罗;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;洛雷达纳·索伦蒂诺 计算树逻辑中的循环检测。 （英语） Zbl 1400.68123号 Inf.计算。 262，第2部分，265-279（2018）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Fontaine}等人，《信息计算》。262，第2部分，265-279（2018；兹bl 1400.68123） 全文： 内政部 arXiv公司
盖尔·方丹;法比奥·莫加韦罗;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;洛雷达纳·索伦蒂诺 计算树逻辑中的循环检测。 （英语） 兹比尔1478.68158 Cantone，Domenico（编辑）等人，第七届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2016，卡塔尼亚，意大利，2016年9月14-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）226164-177（2016）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Fontaine}等人，《电子》。程序。西奥。计算。科学。（EPTCS）226164--177（2016；Zbl 1478.68158） 全文： 链接
马西莫·贝内雷切蒂;法比奥·莫加韦罗;阿尼埃洛·穆拉诺 关于子结构和游戏的推理。 （英语） Zbl 1354.03019号 ACM事务处理。计算。日志。 第16条第3款第25条第51页（2015年）.MSC公司：03B44号 03B25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人，《美国医学杂志》。计算。日志。16，第3号，第25条，51页（2015；Zbl 1354.03019） 全文： 内政部
法比奥·莫加韦罗;阿尼埃洛·穆拉诺 带有最小模型量词的分支时间时序逻辑。 （英语） Zbl 1247.03026号 Diekert，Volker（编辑）等人，《语言理论的发展》。第13届国际会议，DLT 2009，德国斯图加特，2009年6月30日至7月3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02736-9/pbk）。计算机科学课堂讲稿5583，396-409（2009）。MSC公司：03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Mogavero}和\textit{A.Murano}，Lect。注释计算。科学。5583、396--409（2009年；Zbl 1247.03026） 全文： 内政部