安吉洛·蒙塔纳里;加布里埃尔，小狗;皮埃特罗·萨拉 基于锥形基本方向的指南针逻辑的可判定弱化。 （英语） Zbl 1351.03014号 日志。方法计算。科学。 11，第4号，第7号论文，32页（2015）.MSC公司：03B45 03B44号 03B25号 2015年3月1日 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人，日志。方法计算。科学。11，第4号，第7号文件，第32页（2015年；Zbl 1351.03014） 全文： 内政部 arXiv公司
安吉洛·蒙塔纳里（编辑）;加布里埃尔，小狗（编辑）;蒂齐亚诺别墅（编辑） 游戏、自动机、逻辑和形式验证（GandALF 2013）。 （英语） Zbl 1329.00223号 Inf.计算。 245, 1-2 (2015).MSC公司：00B25型 68-06 91-06 65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}（编辑）等，《信息计算》。245，1--2（2015；Zbl 1329.00223） 全文： 内政部
安吉洛·蒙塔纳里;加布里埃尔，小狗;皮埃特罗·萨拉 区间时间逻辑对有理数的判定性。 （英语） Zbl 1426.03018号 Csuhaj-Varjü，Erzébet（编辑）等人，2014年计算机科学数学基础。2014年8月25-29日在匈牙利布达佩斯举行的2014年MFCS第39届国际研讨会。会议记录，第一部分，柏林：施普林格。莱克特。注释计算。科学。8634, 451-463 (2014).MSC公司：03B44号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人，Lect。注释计算。科学。8634，451--463（2014；Zbl 1426.03018） 全文： 内政部
安吉洛·蒙塔纳里;加布里埃尔，小狗;皮埃特罗·萨拉;圭多·西亚维科 区间时态逻辑（运算符名{AB\上划线{B}}）对自然数的可判定性。 （英语） Zbl 1230.03047号 Marion，Jean-Yves（编辑）等人，STACS 2010。第27届计算机科学理论方面国际研讨会，法国南希，2010年3月4-6日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-16-3）。LIPIcs–莱布尼茨国际信息学会议录5，597-608，仅电子版（2010年）。MSC公司：03B44号 03D78号 2015年3月1日 03日第10天 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人，LIPIcs——莱布尼茨国际程序。通知。5597--608（2010年；Zbl 1230.03047） 全文： 内政部 链接
安吉洛·蒙塔纳里;加布里埃尔，小狗;皮埃特罗·萨拉 Halpern和Shoham的区间模态逻辑的最大可判定片段。 （英语） Zbl 1288.03017号 Abramsky，Samson（编辑）等人，自动机，语言和编程。第37届国际学术讨论会，ICALP 2010，波尔多，法国，2010年7月6日至10日。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-14161-4/pbk）。计算机科学课堂讲稿6199，345-356（2010）。MSC公司：03B45 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人，Lect。注释计算。科学。6199345--356（2010；Zbl 1288.03017） 全文： 内政部 哈尔
安吉洛·蒙塔纳里;加布里埃尔，小狗;皮埃特罗·萨拉 具有锥形基本方向的可判定空间逻辑。 （英语） Zbl 1257.03054号 Grädel，Erich（编辑）等人，《计算机科学逻辑》。2009年9月7日至11日，第23届国际研讨会，CSL，第18届EACSL年会，葡萄牙科英布拉。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04026-9/pbk）。计算机科学课堂讲稿5771，394-408（2009）。MSC公司：03B70号 03B25号 03B44号 03B45 PDF格式BibTeX公司 XML格式引用 \textit｛A.Montanari｝等人，Lect。注释计算。科学。5771、394--408（2009年；Zbl 1257.03054） 全文： 内政部 哈尔
大卫·布雷索林;安吉洛·蒙塔纳里;加布里埃尔，小狗 最终周期语言和自动机的理论，应用于时间粒度。 （英语） Zbl 1186.68246号 学报信息。 46，第5期，331-360（2009）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，《信息学报》第46卷第5期，第331--360页（2009年；Zbl 1186.68246） 全文： 内政部 哈尔
达尔拉戈，乌戈;安吉洛·蒙塔纳里;加布里埃尔，小狗 时间粒度的紧凑且易于处理的基于自动机的表示。 （英语） Zbl 1111.68053号 西奥。计算。科学。 373，编号1-2，115-141（2007）.MSC公司：65年第68季度 第68页，共15页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}等人，Theor。计算。科学。373，编号1--2，115-141（2007；Zbl 1111.68053） 全文： 内政部
安吉洛·蒙塔纳里;阿德里亚诺·佩隆;加布里埃尔，小狗 时间粒度理论与一个继承者的一元二阶理论之间的关系。 （英语） Zbl 1186.03037号 J.应用。非类别。日志。 16，编号3-4，433-455（2006）.MSC公司：03B44号 03B25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人，J.Appl。非类别。日志。16，编号3-433-455（2006年；Zbl 1186.03037） 全文： 内政部 链接
大卫·布雷索林;安吉洛·蒙塔纳里;加布里埃尔，小狗 时间粒度和最终的周期自动机。 （英语） Zbl 1111.68697号 Alferes，JoséJülio（编辑）等人，《人工智能中的逻辑》。第九届欧洲会议，JELIA 2004，葡萄牙里斯本，2004年9月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23242-7/pbk）。计算机科学课堂讲稿3229。人工智能课堂讲稿，513-525（2004）。MSC公司：68立方英尺 65年第68季度 92 C50 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，Lect。注释计算。科学。3229513--525（2004年；Zbl 1111.68697） 全文： 内政部
安吉洛·蒙塔纳里;加布里埃尔，小狗 树结构MSO理论的可判定性。 （英语） Zbl 1117.03315号 Lodaya，Kamal（编辑）等人，FSTTCS 2004：软件技术和理论计算机科学基础。第24届国际会议，印度钦奈，2004年12月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24058-6/pbk）。《计算机科学讲义》3328、434-446（2004年）。MSC公司：03B25号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}和\textit{G.Puppis}，莱克特。注释计算。科学。3328434--446（2004年；Zbl 1117.03315） 全文： 内政部
达尔拉戈，乌戈;安吉洛·蒙塔纳里;加布里埃尔，小狗 朝着紧凑且易于处理的基于自动机的时间粒度表示发展。 （英语） Zbl 1257.68063号 卡洛·布兰多（编辑）等人，《理论计算机科学》。第八届意大利会议，2003年ICTCS，意大利贝蒂诺罗，2003年10月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20216-1/pbk）。莱克特。注释计算。科学。2841, 72-85 (2003).MSC公司：第68页，共15页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}等人，Lect。注释计算。科学。2841、72--85（2003年；Zbl 1257.68063） 全文： 内政部