亚历山德罗·西马蒂；卢卡·盖蒂；尼古拉·吉甘特；安吉洛·蒙塔纳里；斯特凡诺·托内塔 安全和协同安全语言的一阶逻辑特征。 （英语） Zbl 07731941号 日志。方法计算。科学。 19，第3号，第13号论文，29页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，《日志》。方法计算。科学。19，第3号，第13号论文，29页（2023；Zbl 07731941） 全文： 内政部 arXiv公司
劳拉，博泽利；安吉洛·蒙塔纳里；阿德里亚诺·佩隆 可视下推系统的时间间隔逻辑。 （英语） Zbl 07713585号 ACM事务处理。计算。日志。 24，第3号，第24号论文，32页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，ACM Trans。计算。日志。24，第3号，第24号文件，第32页（2023；Zbl 07713585） 全文： 内政部
亚历山德罗·西马蒂；卢卡·盖蒂；尼古拉·吉甘特；安吉洛·蒙塔纳里；斯特凡诺·托内塔 \（\mathsf｛GR｝（1）\）等价于\（\mathsf｛R｝（1）\）。 （英语） Zbl 1529.03188号 信息处理。莱特。 179，文章ID 106319，8 p.（2023）.MSC公司：03B70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，《Inf.过程》。莱特。179，文章ID 106319，8 p.（2023；Zbl 1529.03188） 全文： 内政部
劳拉，博泽利；阿尔贝托·莫利纳里；安吉洛·蒙塔纳里；阿德里亚诺·佩隆；皮埃特罗·萨拉 同质性假设下子区间逻辑的可满足性和模型检验。 （英语） Zbl 07471713号 日志。方法计算。科学。 18，第1号，第24号论文，第25页（2022年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，日志。方法计算。科学。18，第1号，第24号文件，第25页（2022；Zbl 0741713） 全文： arXiv公司 链接
安吉洛·蒙塔纳里；皮埃特罗·萨拉 基于区间时序逻辑规范的反应合成。 （英语） Zbl 1515.68185号 西奥。计算。科学。 899, 48-79 (2022).MSC公司：60年第68季度 03B44号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}和\textit{P.Sala}，Theor。计算。科学。899、48-79（2022年；Zbl 1515.68185） 全文： 内政部
劳拉，博泽利；安吉洛·蒙塔纳里；阿德里亚诺·佩隆；皮埃特罗·萨拉 Pspace-子区间和后缀的时间逻辑的完整性。 （英语） Zbl 07744952号 Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第9条，第19页（2021年）。MSC公司：03B44号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，LIPIcs——莱布尼茨国际程序。通知。206，第9条，第19页（2021；Zbl 07744952） 全文： 内政部
卢卡·盖蒂；尼古拉·吉甘特；安吉洛·蒙塔纳里；加布里埃尔·文图拉托 过去事项：在黑色可满足性检查器中支持LTL+Past。 （英语） Zbl 07744951号 Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第8条，第17页（2021年）。MSC公司：03B44号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Geatti}等人，LIPIcs——莱布尼茨国际程序。通知。206，第8条，第17页（2021；Zbl 07744951） 全文： 内政部
亚历山德罗·西马蒂；卢卡·盖蒂；尼古拉·吉甘特；安吉洛·蒙塔纳里；斯特凡诺·托内塔 扩展有界响应的公平性、假设和保证长期贷款+P合成。 （英语） Zbl 1522.68302号 Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13085, 351-371 (2021).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，Lect。注释计算。科学。13085、351--371（2021；Zbl 1522.68302） 全文： 内政部
劳拉，博泽利；安吉洛·蒙塔纳里；阿德里亚诺·佩隆 模型检查区间时序逻辑统一算法的复杂性分析。 （英语） Zbl 1518.68204号 Inf.计算。 280，文章ID 104640，22 p.（2021）.MSC公司：60年第68季度 03B44号 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，《信息计算》。280，文章ID 104640，22 p.（2021；Zbl 1518.68204） 全文： 内政部 链接
卢卡·盖蒂；尼古拉·吉甘特；安吉洛·蒙塔纳里；马克·雷诺兹 用于TPTL和\（\mathrm｛TPTL_b+Past｝\）的单程和树形表格系统。 （英语） Zbl 07354965号 Inf.计算。 278，文章ID 104599，25 p.（2021）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Geatti}等人，《信息计算》。278，文章ID 104599，25 p.（2021；Zbl 07354965） 全文： 内政部
劳拉，博泽利；阿尔贝托·莫利纳里；安吉洛·蒙塔纳里；阿德里亚诺·佩隆 使用正则表达式对区间时序逻辑进行模型检查。 （英语） Zbl 1443.68102号 Inf.计算。 272，文章ID 104498，33 p.（2020）.MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，《信息计算》。272，文章ID 104498，33 p.（2020；Zbl 1443.68102） 全文： 内政部
劳拉，博泽利；阿尔贝托·莫利纳里；安吉洛·蒙塔纳里；阿德里亚诺·佩隆；格哈德·沃金格 密集时间域上基于时间的规划。 （英语） Zbl 1433.68406号 西奥。计算。科学。 813, 305-326 (2020).MSC公司：68T20型 03B44号 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，Theor。计算。科学。813305--326（2020年；Zbl 1433.68406） 全文： 内政部
大卫·巴罗齐尼；戴维·德·弗鲁托斯·埃斯克里格；黛拉·莫妮卡，达里奥；安吉洛·蒙塔纳里；皮埃特罗·萨拉 Beyond\（\omega\）-正则语言：\（\omegaT\）-正则表达式及其自动机和逻辑对应物。 （英语） Zbl 1433.68192号 西奥。计算。科学。 813, 270-304 (2020).MSC公司：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{D.Barozzini}等人，Theor。计算。科学。813、270--304（2020；Zbl 1433.68192） 全文： 内政部
劳拉，博泽利；安吉洛·蒙塔纳里；阿德里亚诺·佩隆 模型检查区间时序逻辑统一算法的复杂性分析。 （英语） Zbl 1515.68172号 Gamper，Johann（编辑）等人，第26届时间表征和推理国际研讨会，《时代》2019年。2019年10月16日至19日，西班牙马拉加。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。147，第18条，第17页（2019）。MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，LIPIcs——莱布尼茨国际程序。通知。147，第18条，第17页（2019年；Zbl 1515.68172） 全文： 内政部
卢卡·盖蒂；尼古拉·吉甘特；安吉洛·蒙塔纳里 基于SAT的LTL单程树形表系统编码。 （英语） Zbl 1435.68368号 Cerrito，Serenella（编辑）等人，《使用分析表和相关方法的自动推理》。第28届国际会议，2019年9月3日至5日，英国伦敦，TABLEAUX 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11714, 3-20 (2019).MSC公司：68伏15 03B44号 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{L.Geatti}等人，Lect。注释计算。科学。11714，3--20（2019；Zbl 1435.68368） 全文： 内政部 链接
D.布雷索林。；黛拉·莫妮卡，D。；A.蒙塔纳里。；Sala，P。；Sciavicco，G。 艾伦关系的模态逻辑片段对理性的决定性和复杂性。 （英语） Zbl 1436.03120号 Inf.计算。 266, 97-125 (2019).MSC公司：03B44号 03B25号 03B45号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，《信息计算》。266、97-125（2019年；Zbl 1436.03120） 全文： 内政部 链接
劳拉，博泽利；阿尔贝托·莫利纳里；安吉洛·蒙塔纳里；阿德里亚诺·佩隆；皮埃特罗·萨拉 在模型检查中，区间时序逻辑HS的哪些片段是可处理的？ （英语） Zbl 1429.68139号 西奥。计算。科学。 764, 125-144 (2019). 审核人：马丁·兰格（卡塞尔） MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，Theor。计算。科学。764125-144（2019年；Zbl 1429.68139） 全文： 内政部 链接
劳拉，博泽利；阿尔贝托·莫利纳里；安吉洛·蒙塔纳里；阿德里亚诺·佩隆；皮埃特罗·萨拉 区间与点时间逻辑模型检查。表现力比较。 （英语） Zbl 1407.68283号 ACM事务处理。计算。日志。 第20条第1款第4条第31页（2019年）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，ACM Trans。计算。日志。20，第1号，第4条，第31页（2019年；Zbl 1407.68283） 全文： 内政部
卢卡·盖蒂；尼古拉·吉甘特；安吉洛·蒙塔纳里；马克·雷诺兹 用于（mathrm{TPTL}）和（mathrm）的单程和树形表格系统{TPTL}_b+\mathrm{过去}\）。 （英语） 兹比尔1524.03015 Orlandini，Andrea（编辑）等人，第九届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2018，德国萨尔布吕肯，2018年9月26日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）277176-190（2018）。MSC公司：03B44号 03B70号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{L.Geatti}等人，《电子》。程序。西奥。计算。科学。（EPTCS）277176--190（2018；Zbl 1524.03015） 全文： arXiv公司 链接
劳拉，博泽利；阿尔贝托·莫利纳里；安吉洛·蒙塔纳里；阿德里亚诺·佩隆；皮埃特罗·萨拉 在多项式时间层次的低层次上对区间时序逻辑HS片段进行模型检查。 （英语） Zbl 1400.68121号 Inf.计算。 262，第2部分，241-264（2018）.MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，《信息计算》。262，第2部分，241--264（2018；Zbl 1400.68121） 全文： 内政部 链接
阿尔贝托·莫利纳里；安吉洛·蒙塔纳里；阿德里亚诺·佩隆 基于轨迹表示的Halpern和Shoham区间时序逻辑片段的模型检查。 （英语） Zbl 1390.68436号 Inf.计算。 259，第3部分，412-443（2018）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Molinari}等人，《信息计算》。259，第3部分，412--443（2018；Zbl 1390.68436） 全文： 内政部 arXiv公司
黛拉·莫妮卡，达里奥；戴维·德·弗鲁托斯·埃斯克里格；安吉洛·蒙塔纳里；阿尼埃洛·穆拉诺；圭多·西亚维科 通过区间时序逻辑模型检查评估时序数据集。 （英语） Zbl 1515.68109号 Schewe，Sven（ed.）等人，第24届时间表征和推理国际研讨会，《时代》2017，比利时蒙斯，2017年10月16日至18日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。90，第11条，第18页（2017年）。MSC公司：第68页，共15页 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Della Monica}等人，LIPIcs——莱布尼茨国际程序。通知。90，第11条，第18页（2017年；Zbl 1515.68109） 全文： 内政部
劳拉，博泽利；阿尔贝托·莫利纳里；安吉洛·蒙塔纳里；阿德里亚诺·佩隆 带正则表达式的区间时序逻辑HS的语法最大片段的模型检查的复杂性。 （英语） Zbl 1483.68186号 Patricia Bouyer等人，《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2017，意大利罗马，2017年9月20日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）256，31-45（2017）。MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，《电子》。程序。西奥。计算。科学。（EPTCS）256，31-45（2017；Zbl 1483.68186） 全文： arXiv公司 链接
劳拉，博泽利；阿尔贝托·莫利纳里；安吉洛·蒙塔纳里；阿德里亚诺·佩隆；皮埃特罗·萨拉 同质性假设下子区间逻辑的可满足性和模型检验。 （英语） Zbl 1442.68103号 Chatzigianakis，Ioannis（编辑）等人，第44届自动化、语言和编程国际研讨会，2017年ICALP，波兰华沙，2017年7月10日至14日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。80，第120条，第14页（2017年）。MSC公司：60年第68季度 03B44号 2017年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，LIPIcs——莱布尼茨国际程序。通知。80，第120条，第14页（2017年；Zbl 1442.68103） 全文： 内政部
劳拉，博泽利；阿尔贝托·莫利纳里；安吉洛·蒙塔纳里；阿德里亚诺·佩隆 对使用正则表达式检查区间时态逻辑模型的深入研究。 （英语） Zbl 1420.68120号 Cimatti，Alessandro（编辑）等人，《软件工程和形式化方法》。2017年9月4日至8日在意大利特伦托举行的2017年SEFM第15届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10469, 104-119 (2017).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，Lect。注释计算。科学。10469，104-119（2017；Zbl 1420.68120） 全文： 内政部 链接
尼古拉·吉甘特；安吉洛·蒙塔纳里；马克·雷诺兹 LTL+过去的单程树形画面。 （英语） Zbl 1402.03026号 Eiter，Thomas（编辑）等人，LPAR-21。2017年5月8日至12日在博茨瓦纳莫恩举行的第21届编程、人工智能和推理逻辑国际会议。精选论文。曼彻斯特：EasyChair。EPiC计算系列46，456-473（2017）。MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Gigante}等人，EPiC Ser。计算。46、456--473（2017；Zbl 1402.03026） 全文： 内政部
劳拉，博泽利；阿尔贝托·莫利纳里；安吉洛·蒙塔纳里；阿德里亚诺·佩隆；皮埃特罗·萨拉 模型检查艾伦关系的逻辑遇见和由启动是\（\mathbf{P}^{\mathbf{NP}}\）-完成的。 （英语） Zbl 1478.68148号 Cantone，Domenico（编辑）等人，第七届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2016，卡塔尼亚，意大利，2016年9月14-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）22676-90（2016）。MSC公司：60年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，《电子》。程序。西奥。计算。科学。（EPTCS）226、76--90（2016年；Zbl 1478.68148） 全文： arXiv公司 链接
劳拉，博泽利；阿尔贝托·莫利纳里；安吉洛·蒙塔纳里；阿德里亚诺·佩隆；皮埃特罗·萨拉 区间与点时态逻辑模型检查：一种表达性比较。 （英语） Zbl 1391.68075号 Lal，Akash（ed.）等人，第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016），印度钦奈，2016年12月13-15日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-027-9）。LIPIcs–莱布尼茨国际信息学论文集65，第26条，第14页。(2016).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，LIPIcs——莱布尼茨国际程序。通知。65，第26条，第14页（2016；Zbl 1391.68075） 全文： 内政部 arXiv公司
黛拉·莫妮卡，达里奥；安吉洛·蒙塔纳里；阿尼埃洛·穆拉诺；皮埃特罗·萨拉 提示间隔时间逻辑。 （英语） Zbl 1483.03015号 Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，JELIA 2016，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10021, 207-222 (2016).MSC公司：03B44号 03B25号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Della Monica}等人，莱克特。注释计算。科学。10021、207--222（2016；Zbl 1483.03015） 全文： 内政部 链接
安吉洛·蒙塔纳里；马可·巴扎利亚；皮埃特罗·萨拉 具有等价关系的度量命题邻域逻辑。 （英语） Zbl 1350.68185号 学报信息。 53，编号6-8，621-648（2016）.MSC公司：60年第68季度 03B25号 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人，《学报》第53期，第6--8、621--648号（2016年；Zbl 1350.68185） 全文： 内政部 链接
阿尔贝托·莫利纳里；安吉洛·蒙塔纳里；阿尼埃洛·穆拉诺；朱塞佩·佩雷利；阿德里亚诺·佩隆 检查计算的间隔属性。 （英语） Zbl 1350.68184号 学报信息。 53，编号6-8，587-619（2016）.MSC公司：60年第68季度 03B25号 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛A.Molinari｝等人，Acta Inf.53，编号6--8587-619（2016；兹bl 1350.68184） 全文： 内政部 arXiv公司
劳拉，博泽利；阿尔贝托·莫利纳里；安吉洛·蒙塔纳里；阿德里亚诺·佩隆；皮埃特罗·萨拉 间隔时间逻辑模型检查：好的和坏的HS片段之间的边界。 （英语） Zbl 1475.68177号 Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 389-405 (2016).MSC公司：60年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，Lect。注释计算。科学。9706389--405（2016；Zbl 1475.68177） 全文： 内政部
阿尔贝托·莫利纳里；安吉洛·蒙塔纳里；阿德里亚诺·佩隆 区间时序逻辑模型检验中的循环交替约束。 （英语） Zbl 1345.68221号 Crescenzi，Pierluigi（ed.）等人，《2015年ICTCS会议录》，第16届意大利理论计算机科学会议，意大利费伦泽，2015年9月9日至11日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记322，211-226，仅电子版（2016）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Molinari}等人，《电子》。注释Theor。计算。科学。322、211——226（2016年；兹bl 1345.68221） 全文： 内政部
安吉洛·蒙塔纳里；马可·巴扎利亚；皮埃特罗·萨拉 将一个或多个等价关系添加到区间时态逻辑\（\mathsf｛AB｝\ overline｛\mathsf｛B｝｝｝\）。 （英语） Zbl 1408.03011号 西奥。计算。科学。 629, 116-134 (2016).MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人，Theor。计算。科学。629、116--134（2016；Zbl 1408.03011） 全文： 内政部
卢卡·埃特罗；黛拉·莫妮卡，达里奥；瓦伦丁·戈兰科；Anna Ingólfsdóttir；安吉洛·蒙塔纳里；圭多·西亚维科 艾伦关系区间逻辑表现力的一个完整分类：一般情况和稠密情况。 （英语） Zbl 1339.03018号 学报信息。 53，第3期，207-246（2016）. 审核人：贾科莫·伦齐（费西亚诺） MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，《信息学报》53，第3期，207--246（2016；Zbl 1339.03018） 全文： 内政部 链接
阿尔贝托·莫利纳里；安吉洛·蒙塔纳里；阿德里亚诺·佩隆 基于航迹表示的区间时序逻辑模型检验过程。 （英语） Zbl 1373.68289号 Kreutzer，Stephan（编辑），第24届EACSL年会和第29届计算机科学逻辑研讨会，CSL’15，德国柏林，2015年9月7日至10日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-90-3）。LIPIcs–莱布尼茨国际信息学论文集41，193-210（2015）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Molinari}等人，LIPIcs——莱布尼茨国际程序。通知。41193-210（2015年；Zbl 1373.68289） 全文： 内政部
大卫·布雷索林；黛拉·莫妮卡，达里奥；安吉洛·蒙塔纳里；皮埃特罗·萨拉；圭多·西亚维科 关于密集结构上艾伦关系的模态逻辑片段的复杂性。 （英语） Zbl 1451.03020号 Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2015年3月2日至6日在法国尼斯举行的2015年拉丁美洲旅游协会第九届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8977, 511-523 (2015).MSC公司：03B44号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，Lect。注释计算。科学。8977，511--523（2015；Zbl 1451.03020） 全文： 内政部 链接
安吉洛·蒙塔纳里；加布里埃尔，小狗；皮埃特罗·萨拉 基于锥形基本方向的指南针逻辑的可判定弱化。 （英语） 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公司
安吉洛·蒙塔纳里；皮埃特罗·萨拉 基于区间的合成。 （英语） Zbl 1467.68080号 Peron，Adriano（编辑）等人，第五届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2014，意大利维罗纳，2014年9月10-12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）161102-115（2014）。MSC公司：65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}和\textit{P.Sala}，电子。程序。西奥。计算。科学。（EPTCS）161、102--115（2014；Zbl 1467.68080） 全文： arXiv公司 链接
卢卡·埃特罗；黛拉·莫妮卡，达里奥；Anna Ingólfsdóttir；安吉洛·蒙塔纳里；圭多·西亚维科 关于有限和离散线性阶上Allen关系的区间逻辑的表示性。 （英语） Zbl 1432.03027号 Fermé，Eduardo（编辑）等人，《人工智能中的逻辑》。2014年9月24日至26日，第14届欧洲会议，JELIA 2014，葡萄牙马德拉，Funchal。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8761, 267-281 (2014).MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，Lect。注释计算。科学。8761，267--281（2014；Zbl 1432.03027） 全文： 内政部 链接
大卫·布雷索林；黛拉·莫妮卡，达里奥；安吉洛·蒙塔纳里；皮埃特罗·萨拉；圭多·西亚维科 强离散线性序上的区间时序逻辑：表达性和复杂性。 （英语） Zbl 1335.03017号 西奥。计算。科学。 560，第3部分，269-291（2014）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，Theor。计算。科学。560，第3部分，269--291（2014；Zbl 1335.03017） 全文： 内政部
安吉洛·蒙塔纳里；加布里埃尔，小狗；皮埃特罗·萨拉 区间时间逻辑对有理数的判定性。 （英语） 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） 全文： 内政部
大卫·布雷索林；黛拉·莫妮卡，达里奥；瓦伦丁·戈兰科；安吉洛·蒙塔纳里；圭多·西亚维科 区间时序逻辑的黑暗面：标记不可判定边界。 （英语） Zbl 1325.03014号 安。数学。Artif公司。智力。 71，编号1-3，41-83（2014）. 审核人：雅罗斯拉夫·什兰科（Kryvyi Rih） MSC公司：03B44号 03天35分 05B45号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，《数学年鉴》。Artif公司。智力。71、编号1--3、41-83（2014；Zbl 1325.03014） 全文： 内政部
大卫·布雷索林；黛拉·莫妮卡，达里奥；安吉洛·蒙塔纳里；圭多·西亚维科 区间时序逻辑的光明面：CDT的Bernays-Schönfinkel片段。 （英语） Zbl 1325.03015号 安。数学。Artif公司。智力。 71，编号1-3，11-39（2014）. 审核人：雅罗斯拉夫·什兰科（Kryvyi Rih） MSC公司：03B44号 03B25号 68T27型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，《数学年鉴》。Artif公司。智力。71、编号1--3、11-39（2014；Zbl 1325.03015） 全文： 内政部
安吉洛·蒙塔纳里；皮埃特罗·萨拉 向区间逻辑\（AB\bar｛B｝\）添加等价关系：复杂性和表达性。 （英语） Zbl 1366.03185号 2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-5020-6）。193-202 (2013).MSC公司：03B44号 03B25号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}和\textit{P.Sala}，摘自：2013年第28届ACM/IEEE年度计算机科学逻辑研讨会论文集，2013年LICS，美国路易斯安那州新奥尔良杜兰大学，2013年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。193-202（2013；Zbl 1366.03185） 全文： 内政部
卢卡·埃特罗；黛拉·莫妮卡，达里奥；Anna Ingólfsdóttir；安吉洛·蒙塔纳里；圭多·西亚维科 枚举Horn理论最大模型的算法及其在模态逻辑中的应用。 （英语） Zbl 1433.03019号 McMillan，Ken（编辑）等人，《编程逻辑、人工智能和推理》。第19届国际会议，LPAR-19，南非斯特伦博什，2013年12月14-19日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8312, 1-17 (2013).MSC公司：03B35型 03B45号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，Lect。注释计算。科学。8312，1-17（2013；Zbl 1433.03019） 全文： 内政部
大卫·布雷索林；安吉洛·蒙塔纳里；皮埃特罗·萨拉；圭多·西亚维科 有限结构、自然数和整数上MPNL的最优决策过程。 （英语） 兹比尔1296.03013 西奥。计算。科学。 493, 98-115 (2013).MSC公司：03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，Theor。计算。科学。49398--115（2013；Zbl 1296.03013） 全文： 内政部
大卫·布雷索林；黛拉·莫妮卡，达里奥；安吉洛·蒙塔纳里；圭多·西亚维科 有限线性序上右命题邻域逻辑的表系统：一个实现。 （英语） Zbl 1401.68275号 Galmiche，Didier（编辑）等人，《使用分析表和相关方法的自动推理》。第22届国际会议，TABLEUX 2013，法国南希，2013年9月16日至19日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40536-5/pbk）。计算机科学课堂讲稿8123。人工智能课堂讲稿，74-80（2013）。MSC公司：68吨15 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，Lect。注释计算。科学。8123，74-80（2013；Zbl 1401.68275） 全文： 内政部 链接
安吉洛·蒙塔纳里；皮埃特罗·萨拉 区间逻辑和\（\omega B\）-正则语言。 （英语） 兹比尔1377.03026 Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2013年4月2-5日在西班牙毕尔巴鄂举行的2013年拉丁美洲旅游协会第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-37063-2/pbk）。计算机科学课堂讲稿7810，431-443（2013）。MSC公司：05年3月 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}和\textit{P.Sala}，莱克特。注释计算。科学。7810431-443（2013年；Zbl 1377.03026） 全文： 内政部
大卫·布雷索林；黛拉·莫妮卡，达里奥；安吉洛·蒙塔纳里；皮埃特罗·萨拉；圭多·西亚维科 强离散线性阶上的区间时间逻辑：完整的画面。 （英语） Zbl 1469.03045号 Faella，Marco（编辑）等人，第三届游戏、自动机、逻辑和形式验证国际研讨会，意大利那不勒斯，2012年9月6日至8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）96、155-168（2012）。MSC公司：03B44号 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，《电子》。程序。西奥。计算。科学。（EPTCS）96，155--168（2012；Zbl 1469.03045） 全文： arXiv公司 链接
黛拉·莫妮卡，达里奥；瓦伦丁·戈兰科；安吉洛·蒙塔纳里；圭多·西亚维科 通过命题邻域逻辑在自然数上的扩展跨越不可判定边界。 （英语） Zbl 1362.03018号 加州大学洛杉矶分校 18，第20号，2798-2831（2012）.MSC公司：03B44号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{D.Della Monica}等人，J.UCS 18，No.20，2798--2831（2012；Zbl 1362.03018） 全文： 链接
D.布雷索林。；黛拉·莫妮卡，D。；A.蒙塔纳里。；Sala，P。；Sciavicco，G。 有限线性序上的区间时序逻辑：全貌。 （英语） Zbl 1327.03012号 De Raedt，Luc（编辑）等人，ECAI 2012。第20届欧洲人工智能会议，2012年8月27日至31日，法国蒙彼利埃。诉讼程序。包括第七届人工智能应用大会（PAIS-2012）的会议记录和系统演示轨道。阿姆斯特丹：IOS出版社（ISBN 978-1-61499-097-0/pbk；978-1-6499-098-7/ebook）。《人工智能和应用前沿》242199-204（2012）。MSC公司：03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，前面。Artif公司。智力。申请。242199--204（2012年；兹bl 1327.03012） 全文： 链接
黛拉·莫妮卡，达里奥；安吉洛·蒙塔纳里；皮埃特罗·萨拉 过去在区间时间逻辑中的重要性：命题邻域逻辑的例子。 （英语） Zbl 1356.03061号 Artikis，Alexander（编辑）等人，《逻辑程序、规范和行动》。纪念马雷克·塞尔戈特60岁生日的文章。柏林：施普林格出版社（ISBN 978-3-642-29413-6/pbk）。计算机科学课堂讲稿7360。《人工智能课堂讲稿》，79-102（2012）。MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Della Monica}等人，莱克特。注释计算。科学。7360，79-102（2012；Zbl 1356.03061） 全文： 内政部
安吉洛·蒙塔纳里（编辑）；那不勒斯，马盖里塔（编辑）；帕伦特，米姆（编辑） 特刊：游戏、自动化、逻辑和形式验证（GandALF 2010）。根据2010年6月17日至18日在意大利米诺里举行的第一届研讨会上的陈述，选出了一些论文。 （英语） Zbl 1250.68042号 发现的国际期刊。计算。科学。23，第3期，555-711（2012）。 MSC公司：68-06 91-06 03-06 00B25型 60年第68季度 65年第68季度 91A05型 91A43型 91A24型 91A15型 03B80号 03B44号 03B45号 05年3月 PDF格式BibTeX公司 XML格式
大卫·布雷索林；安吉洛·蒙塔纳里；皮埃特罗·萨拉；圭多·西亚维科 MPNL对整数的最优决策过程。 （英语） Zbl 1457.68123号 D'Agostino，Giovanna（编辑）等人，第二届游戏、自动机、逻辑和形式验证国际研讨会，意大利Minori，2011年6月15日至17日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）54192-206（2011）。MSC公司：65年第68季度 03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，《电子》。程序。西奥。计算。科学。（EPTCS）54192-206（2011年；兹bl 1457.68123） 全文： arXiv公司 链接
黛拉·莫妮卡，达里奥；瓦伦丁·戈兰科；安吉洛·蒙塔纳里；圭多·西亚维科 时间间隔逻辑：一段旅程。 （英语） Zbl 1275.03087号 牛市。欧洲协会。计算。科学。EATCS公司 105, 73-99 (2011).MSC公司：03B44号 60年第68季度 03-02 68-02 PDF格式BibTeX公司 XML格式引用 \textit{D.Della Monica}等人，公牛。欧洲协会。计算。科学。EATCS 105、73--99（2011；Zbl 1275.03087）
大卫·布雷索林；安吉洛·蒙塔纳里；皮埃特罗·萨拉；圭多·西亚维科 命题邻域逻辑在所有、稠密和离散线性序上的最优表系统。 （英语） Zbl 1333.03006号 Brünnler，Kai（编辑）等人，使用分析表和相关方法进行自动推理。2011年7月4日至8日，瑞士伯尔尼，第20届国际会议，TABLEAUX 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22118-7/pbk）。计算机科学课堂讲稿6793。人工智能课堂讲稿，73-87（2011）。MSC公司：03B44号 03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，Lect。注释计算。科学。6793，73--87（2011；Zbl 1333.03006） 全文： 内政部
大卫·布雷索林；黛拉·莫妮卡，达里奥；瓦伦丁·戈兰科；安吉洛·蒙塔纳里；圭多·西亚维科 离散线性序上重叠关系逻辑的不确定性。 （英语） 兹伯利1345.03019 Bolander，Thomas（编辑）等人，《第六届模式方法研讨会论文集》（M4M-6 2009），丹麦哥本哈根，2009年11月12-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记26265-81（2010）。MSC公司：03B25号 03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，《电子》。注释Theor。计算。科学。26265--81（2010；Zbl 1345.03019） 全文： 内政部
安吉洛·蒙塔纳里；加布里埃尔，小狗；皮埃特罗·萨拉；圭多·西亚维科 区间时态逻辑（运算符名{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） 全文： 内政部 链接
D.布雷索林。；黛拉·莫妮卡，D。；V.戈兰科。；A.蒙塔纳里。；Sciavicco，G。 度量命题邻域逻辑：表达性、可判定性和不可判定性。 （英语） Zbl 1211.68397号 Coelho，Helder（编辑）等人，ECAI 2010。第19届欧洲人工智能会议，2010年8月16日至20日，葡萄牙里斯本。包括第六届著名的人工智能应用程序（PAIS-2010）。阿姆斯特丹：IOS出版社（ISBN 978-1-60750-605-8/pbk；978-1-60750-606-5/ebook）。《人工智能和应用前沿》215695-700（2010）。MSC公司：68T27型 03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，前面。Artif公司。智力。申请。215695-700（2010年；Zbl 1211.68397） 全文： 内政部
安吉洛·蒙塔纳里；加布里埃尔，小狗；皮埃特罗·萨拉 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年；兹比尔1288.03017） 全文： 内政部 哈尔
大卫·布雷索林；瓦伦丁·戈兰科；安吉洛·蒙塔纳里；皮埃特罗·萨拉 稠密序上子区间结构的逻辑表。 （英语） Zbl 1188.03009号 J.日志。计算。 20，第1期，133-166（2010）. 审核人：Manuel Ojeda Aciego（马拉加） MSC公司：03B35型 03B25号 03B44号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，J.Log。计算。20，编号1，133--166（2010；Zbl 1188.03009） 全文： 内政部
大卫·布雷索林；瓦伦丁·戈兰科；安吉洛·蒙塔纳里；圭多·西亚维科 命题区间邻域逻辑：表达性、可判定性和不可判定扩展。 （英语） Zbl 1221.03022号 Ann.纯粹应用。逻辑 161，第3期，289-304（2009）.MSC公司：03B70号 03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，Ann.Pure Appl。逻辑161，No.3，289--304（2009；Zbl 1221.03022） 全文： 内政部
大卫·布雷索林；安吉洛·蒙塔纳里；皮埃特罗·萨拉；圭多·西亚维科 基于表格的方向关系空间推理系统。 （英语） Zbl 1260.03037号 Giese，Martin（编辑）等人，《使用分析表和相关方法的自动推理》。2009年7月6日至10日，挪威奥斯陆，第18届国际会议，TABLEAUX 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02715-4/pbk）。计算机科学课程讲稿5607。人工智能课堂讲稿，123-137（2009）。MSC公司：03B45号 03B25号 03B35型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，Lect。注释计算。科学。5607123-137（2009年；Zbl 1260.03037） 全文： 内政部
安吉洛·蒙塔纳里；加布里埃尔，小狗；皮埃特罗·萨拉 具有锥形基本方向的可判定空间逻辑。 （英语） 兹比尔1257.03054 Grädel，Erich（编辑）等人，《计算机科学逻辑》。2009年9月7日至11日在葡萄牙科英布拉举行的第23届CSL国际研讨会，EACSL第18届年会。诉讼程序。柏林：施普林格出版社（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 1211.03050号 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。国际研讨会，2009年LFCS，美国佛罗里达州迪尔菲尔德海滩，2009年1月3日至6日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-92686-3/pbk）。计算机科学课堂讲稿5407164-179（2009）。MSC公司：03C13号机组 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{E.De Maria}等人，Lect。注释计算。科学。5407164--179（2009年；Zbl 1211.03050） 全文： 内政部
大卫·布雷索林；黛拉·莫妮卡，达里奥；瓦伦丁·戈兰科；安吉洛·蒙塔纳里；圭多·西亚维科 Halpern和Shoham的区间时间逻辑的可判定和不可判定片段：走向一个完整的分类。 （英语） 兹比尔1182.03037 Cervesato，Iliano（编辑）等人，《编程逻辑、人工智能和推理》。2008年11月22日至27日在卡塔尔多哈举行的2008年LPAR第15届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89438-4/pbk）。计算机科学课堂讲稿5330。人工智能课堂讲稿，590-604（2008）。MSC公司：03B44号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，Lect。注释计算。科学。5330590--604（2008年；Zbl 1182.03037） 全文： 内政部
伊恩·霍德金森；安吉洛·蒙塔纳里；圭多·西亚维科 具有C、D和T的区间时序逻辑的非有限公理化性和不可判定性。 （英语） Zbl 1156.03321号 迈克尔·卡明斯基（编辑）等人，《计算机科学逻辑》。2008年9月16日至19日，在意大利贝蒂诺罗举行的第22届CSL国际研讨会，第17届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87530-7/pbk）。计算机科学课堂讲稿5213，308-322（2008）。MSC公司：03B44号 03B25号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{I.Hodkinson}等人，Lect。注释计算。科学。5213、308--322（2008；Zbl 1156.03321） 全文： 内政部
大卫·布雷索林；安吉洛·蒙塔纳里；皮埃特罗·萨拉；圭多·西亚维科 线性序上右命题邻域逻辑的最优表。 （英语） Zbl 1178.03030号 Hölldobler，Steffen（编辑）等人，《人工智能中的逻辑》。第11届欧洲会议，JELIA 2008，德国德累斯顿，2008年9月28日至10月1日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87802-5/pbk）。计算机科学讲义5293。人工智能课堂讲稿，62-75（2008）。MSC公司：03B44号 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，Lect。注释计算。科学。5293，62-75（2008；Zbl 1178.03030） 全文： 内政部
大卫·布雷索林；瓦伦丁·戈兰科；安吉洛·蒙塔纳里；圭多·西亚维科 命题区间邻域逻辑的可判定性和表示性。 （英语） Zbl 1132.03335号 Artemov，Sergei N.（编辑）等人，《计算机科学的逻辑基础》。2007年6月4日至7日在美国纽约州纽约市举行的2007年LFCS国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-72732-3/pbk）。计算机科学课堂讲稿4514，84-99（2007）。MSC公司：03B70号 03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，Lect。注释计算。科学。4514，84-99（2007年；兹bl 1132.03335） 全文： 内政部
大卫·布雷索林；瓦伦丁·戈兰科；安吉洛·蒙塔纳里；皮埃特罗·萨拉 稠密序上子区间结构逻辑的表au系统。 （英语） Zbl 1133.03007号 Olivetti，Nicola（编辑），《使用分析表和相关方法的自动推理》。第16届国际会议，2007年7月3日至6日，法国普罗旺斯艾克斯TABLEAUX。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73098-9/pbk）。计算机科学课堂讲稿4548。人工智能课堂讲稿，73-89（2007）。MSC公司：03B44号 03B35型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，Lect。注释计算。科学。4548、73--89（2007年；Zbl 1133.03007） 全文： 内政部
大卫·布雷索林；安吉洛·蒙塔纳里；皮埃特罗·萨拉 一种基于表的命题邻域逻辑最优决策算法。 （英语） Zbl 1141.03308号 Thomas，Wolfgang（编辑）等人，STACS 2007。2007年2月22日至24日在德国亚琛举行的第24届计算机科学理论方面年度研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70917-6/pbk）。计算机科学课堂讲稿4393，549-560（2007）。MSC公司：03B35型 03B25号 03B44号 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，Lect。注释计算。科学。4393、549-560（2007；Zbl 1141.03308） 全文： 内政部
大卫·布雷索林；安吉洛·蒙塔纳里；圭多·西亚维科 右命题邻域逻辑的最优决策过程。 （英语） Zbl 1121.03027号 J.汽车。推理 38，编号1-3，173-199（2007）.MSC公司：03B44号 03B25号 03B35型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛D.Bresolin｝等人，J.Autom。推理38，No.1--3，173--199（2007；Zbl 1121.03027） 全文： 内政部
安吉洛·蒙塔纳里；阿德里亚诺·佩隆；加布里埃尔，小狗 时间粒度理论与一个继承者的一元二阶理论之间的关系。 （英语） 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--4，433--455（2006；Zbl 1186.03037） 全文： 内政部 链接
V.戈兰科。；A.蒙塔纳里。；Sala，P。；Sciavicco，G。 命题区间时序逻辑的一般表方法：理论与实现。 （英语） Zbl 1104.03010号 J.应用。日志。 4，第3号，305-330（2006）. 审核人：Manuel Ojeda Aciego（马拉加） MSC公司：03B44号 03B70号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}等人，J.Appl。日志。4，编号3，305-330（2006年；Zbl 1104.03010） 全文： 内政部 链接
马西莫·弗朗西切特；安吉洛·蒙塔纳里；阿德里亚诺·佩隆；圭多·西亚维科 时间粒度的二进制谓词的可定义性和可判定性。 （英语） 兹比尔1101.03016 J.应用。日志。 4，第2期，168-191（2006）.MSC公司：03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Franceschet}等人，J.Appl。日志。4，第2号，168--191（2006；Zbl 1101.03016） 全文： 内政部
安吉洛·蒙塔纳里；阿尔贝托，Policriti；尼古拉·维塔科隆纳 Ehrenfeucht游戏在标记后继结构上的算法说明。 （英语） Zbl 1143.03353号 Sutcliffe，Geoff（编辑）等人，《编程逻辑、人工智能和推理》。2005年12月2日至6日在牙买加蒙特哥湾举行的2005年第12届LPAR国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-30553-8/pbk）。计算机科学课堂讲稿3835139-153（2005）。MSC公司：03C13号机组 05年3月 91A05型 91年46月 91A80型 92D20型 PDF格式BibTeX公司 XML格式引用 \textit｛A.Montanari｝等人，Lect。注释计算。科学。3835、139--153（2005年；Zbl 1143.03353） 全文： 内政部
大卫·布雷索林；安吉洛·蒙塔纳里 基于表的右命题邻域逻辑决策过程。 （英语） Zbl 1141.03307号 Beckert，Bernhard（编辑），分析表的自动推理和相关方法。2005年9月14日至17日在德国科布伦茨举行的2005年TABLEAUX国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28931-3/pbk）。计算机科学3702课堂讲稿。人工智能课堂讲稿，63-77（2005）。MSC公司：03B35型 03B25号 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}和\textit{A.Montanari}，莱克特。注释计算。科学。3702、63--77（2005年；Zbl 1141.03307） 全文： 内政部
V.戈兰科。；A.蒙塔纳里。；Sciavicco，G。 时间间隔逻辑和持续时间计算的路线图。 （英语） Zbl 1181.03012号 J.应用。非类别。日志。 14，编号1-2，9-54（2004）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}等人，J.Appl。非类别。日志。14，编号1--2，9--54（2004；Zbl 1181.03012） 全文： 内政部 链接
瓦伦丁·戈兰科；安吉洛·蒙塔纳里 区间时间逻辑和持续时间演算特刊前言。 （英语） Zbl 1180.03019号 J.应用。非类别。日志。 14，第1-2、7-8号（2004）.MSC公司：03B44号 03-02 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}和\textit{A.Montanari}，J.Appl。非类别。日志。14，编号1--2，7--8（2004；Zbl 1180.03019） 全文： 内政部
安吉洛·蒙塔纳里；加布里埃尔，小狗 树结构MSO理论的可判定性。 （英语） Zbl 1117.03315号 Lodaya，Kamal（编辑）等人，FSTTCS 2004：软件技术和理论计算机科学基础。第24届国际会议，印度钦奈，2004年12月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24058-6/pbk）。计算机科学课堂讲稿3328434-446（2004）。MSC公司：03B25号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}和\textit{G.Puppis}，莱克特。注释计算。科学。3328434--446（2004年；Zbl 1117.03315） 全文： 内政部
马西莫·弗朗西切特；安吉洛·蒙塔纳里 时间粒度的时序逻辑和自动机。 （英语） Zbl 1088.68105号 理论与实践。日志。程序。 4，编号5-6，621-658（2004）.MSC公司：60年第68季度 03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Franceschet}和\textit{A.Montanari}，理论与实践。日志。程序。4，编号5--6621--658（2004；Zbl 1088.68105） 全文： 内政部
恩里科·马扎诺；安吉洛·蒙塔纳里；阿尔贝托，Policriti S1S的二进制扩展和合成方法。 （英语） Zbl 1274.03016号 Dershowitz，Nachum（编辑），《验证：理论与实践》。在佐哈尔·曼纳64岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 3-540-21002-4/pbk）。计算机科学课堂讲稿2772626-644（2003）。MSC公司：03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{E.Marzano}等人，Lect。注释计算。科学。2772626--644（2003年；Zbl 1274.03016） 全文： 内政部
瓦伦丁·戈兰科；安吉洛·蒙塔纳里；圭多·西亚维科 命题区间时序逻辑的一般表方法。 （英语） Zbl 1274.03033号 Cialdea Mayer，Marta（编辑）等人，《使用分析表和相关方法的自动推理》。2003年TABLEAUX国际会议，意大利罗马，2003年9月9日至12日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40787-1/pbk）。莱克特。注释计算。科学。2796, 102-116 (2003).MSC公司：03B44号 03B35型 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}等人，Lect。注释计算。科学。2796、102-116（2003年；Zbl 1274.03033） 全文： 内政部
马西莫·弗朗西切特；安吉洛·蒙塔纳里 时间内分支：用于时间粒度的表达完整且基本可判定的时间逻辑。 （英语） Zbl 1082.68066号 Res.Lang.计算。1，第3-4、229-263号（2003年）。MSC公司：60年第68季度 03B44号 03B25号 PDF格式BibTeX公司 XML格式 全文： 内政部
安吉洛·蒙塔纳里；圭多·西亚维科；尼古拉·维塔科隆纳 区间时序逻辑在分裂帧上通过粒度的决定性。 （英语） Zbl 1013.03013号 Flesca，Sergio（编辑）等人，《人工智能中的逻辑》。第八届欧洲会议，JELIA 2002，意大利科森扎，2002年9月23日至26日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2424, 259-270 (2002).MSC公司：03B44号 03B25号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit｛A.Montanari｝等人，Lect。注释计算。科学。2424259--270（2002；Zbl 1013.03013） 全文： 链接
安吉洛·蒙塔纳里；阿德里亚诺·佩隆；阿尔贝托，Policriti 将Kamp定理扩展到时间粒度模型。 （英语） Zbl 1006.03015号 J.日志。计算。 12，第4期，641-677（2002）. 审核人：贾科莫·博纳诺（戴维斯） MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人，J.Log。计算。12，第4号，641--677（2002；Zbl 1006.03015） 全文： 内政部
安吉洛·蒙塔纳里；阿尔贝托，Policriti；斯莱尼娜，马蒂奥 命题逻辑和一阶模态逻辑的替代翻译技术。 （英语） Zbl 1003.03018号 J.汽车。推理 28，第4期，397-415（2002）.MSC公司：03B45号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人，J.Autom。推理28，No.4，397--415（2002；Zbl 1003.03018） 全文： 内政部
安吉洛·蒙塔纳里；阿尔贝托，Policriti；斯莱尼娜，马蒂奥 局部量化模态逻辑中通过集合论翻译的可导性。 （英语） Zbl 0996.03013号 尼尔森、莫根斯（编辑）等人，《2000年计算机科学的数学基础》。2000年8月28日至9月1日在斯洛伐克布拉迪斯拉发举行的2000年MFCS第25届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1893, 559-568 (2000).MSC公司：03B45号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit｛A.Montanari｝等人，Lect。注释计算。科学。1893年，559年-568年（2000年；兹bl 0996.03013）
马西莫·弗朗西切特；安吉洛·蒙塔纳里 配对传递闭包和约简，以有效地推理部分有序事件。 （英语） Zbl 0962.68158号 Lamma，Evelina（编辑）等人，AI*IA 99：人工智能进展。意大利人工智能协会第六届大会。意大利博洛尼亚，1999年9月14日至17日。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1792, 131-142 (2000).MSC公司：68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Franceschet}和\textit{A.Montanari}，莱克特。注释计算。科学。1792、131--142（2000年；Zbl 0962.68158）
安吉洛·蒙塔纳里；阿德里亚诺·佩隆；阿尔贝托，Policriti 各州的驯服（时机）。 （英语） Zbl 0964.03017号 日志。J.IGPL公司 8，第5期，681-699（2000）. 审核人：瓦伦丁·F·戈兰科（约翰内斯堡） MSC公司：03B44号 03B70号 03B35型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人，日志。J.IGPL 8，第5号，681--699（2000；Zbl 0964.03017） 全文： 内政部 链接
安吉洛·蒙塔纳里；阿德里亚诺·佩隆；阿尔贝托，Policriti 分层度量时间结构的可判定理论。 （英语） Zbl 0945.03022号 Barringer，Howard（编辑）等人，《时间逻辑的进展》。1997年，英国曼彻斯特国际刑事法庭第二届国际时序逻辑会议论文集。多德雷赫特：Kluwer学术出版社。申请。日志。序列号。16, 91-108 (2000).MSC公司：03B44号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人，应用。日志。序列号。16、91——108（2000；Zbl 0945.03022）
伊利亚诺·塞维萨托；马西莫·弗朗西切特；安吉洛·蒙塔纳里 模态事件计算的层次结构：表达性和复杂性。 （英语） Zbl 0945.03017号 霍华德·巴林格等人，《时序逻辑的进展》。1997年，英国曼彻斯特国际刑事法庭第二届国际时序逻辑会议论文集。多德雷赫特：Kluwer学术出版社。申请。日志。序列号。16, 1-20 (2000).MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{I.Cervesato}等人，应用。日志。序列号。16、1--20（2000；Zbl 0945.03017）
安吉洛·蒙塔纳里；阿德里亚诺·佩隆；阿尔贝托，Policriti 分层度量时间结构理论：表达性和可判定性。 （英语） Zbl 0920.03033号 日志。J.IGPL公司 7，第1期，79-102（1999）.MSC公司：03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人，日志。J.IGPL 7，第1号，79-102（1999年；Zbl 0920.03033） 全文： 内政部 链接
约翰·范·本特姆；乔瓦娜·达戈斯蒂诺；安吉洛·蒙塔纳里；阿尔贝托，Policriti 二阶逻辑和集合论中的模态演绎。二、。 （英语） Zbl 0953.03022号 螺柱日志。 60，第3期，387-420（1998年）.MSC公司：03B45号 03E99型 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem}等人，Stud.Log。60，第3号，387--420（1998；Zbl 0953.03022） 全文： 内政部
安吉洛·蒙塔纳里；马尔滕，德里伊克 两种排序的度量时态逻辑。 （英语） Zbl 0901.03019号 西奥。计算。科学。 183，第2期，187-214（1997）.MSC公司：03B45号 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}和\textit{M.de Rijke}，Theor。计算。科学。183，编号2，187--214（1997；Zbl 0901.03019） 全文： 内政部
约翰·范·本特姆；乔瓦娜·达戈斯蒂诺；安吉洛·蒙塔纳里；阿尔贝托，Policriti 二阶逻辑和集合论中的模态演绎。一、。 （英语） Zbl 0873.03021号 J.日志。计算。 7，第2期，251-265（1997）.MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem}等人，J.Log。计算。7，第2号，251--265（1997；Zbl 0873.03021） 全文： 内政部
安吉洛·蒙塔纳里；阿尔贝托，Policriti 度量和分层时序逻辑的可判定性结果。 （英语） Zbl 0858.03018号 圣母院J.形式逻辑 37，第2期，260-282（1996）. 审核人：D.Gruska（布拉迪斯拉发） MSC公司：03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}和\textit{A.Policriti}，圣母院J.形式逻辑37，第2期，260--282（1996；Zbl 0858.03018） 全文： 内政部 链接
乔瓦娜·达戈斯蒂诺；安吉洛·蒙塔纳里；阿尔贝托，Policriti 多模态逻辑的集合理论翻译方法。 （英语） Zbl 0840.03015号 J.汽车。推理 15，第3期，317-337（1995）. 审核人：M.Zakharyaschev（柏林） MSC公司：03B45号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}等人，J.Autom。推理15，No.3，317--337（1995；Zbl 0840.03015） 全文： 内政部
安吉洛·蒙塔纳里；马尔滕，德里伊克 两分类度量时序逻辑的完备性结果。 （英语） Zbl 1496.03078号 Alagar，V.S.（编辑）等人，《代数方法论和软件技术》。第四届国际会议，1995年7月3日至7日，加拿大蒙特利尔，AMAST'95。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。936, 385-399 (1995).MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}和\textit{M.de Rijke}，莱克特。注释计算。科学。936385-399（1995年；Zbl 1496.03078） 全文： 内政部