×

兹马思-数学第一资源

蒙塔纳里,安吉洛

计算距离:
作者ID: 蒙塔纳里·安杰洛 最近zbMATH文章由“Montanari,Angelo”
发布为: 蒙塔纳里,A。;蒙塔纳里,安吉洛
外部链接: MGP公司
编制索引的文档: 106种出版物自1992年以来,包括2本书

按年份列出的出版物

zbMATH公开赛中包含的引文

73出版物有被引用363时间108份文件 引用人
区间时间逻辑和持续时间计算的路线图。 Zbl公司 1181.03012
哥兰科,V。;蒙塔纳里,A。;西亚维科,G。
25
2004
命题区间邻域逻辑:表现性、可判定性和不可判定扩展。 Zbl公司 1221.03022
布雷索林,戴维德;哥伦科,瓦伦丁;蒙塔纳里,安吉洛;西亚维科,吉多
22
2009
Halpern和Shoham区间模态逻辑的最大可判定片段。 Zbl公司 1288.03017
蒙塔纳里,安吉洛;普皮斯,加布里埃尔;萨拉,皮埃特罗
16
2010
稠密序上子区间结构逻辑的表。 Zbl公司 1188.03009
布雷索林,戴维德;哥伦科,瓦伦丁;蒙塔纳里,安吉洛;萨拉,皮埃特罗
15
2010
命题区间时间逻辑的一种通用表方法。 Zbl公司 1274.03033
哥伦科,瓦伦丁;蒙塔纳里,安吉洛;西亚维科,吉多
15
2003
区间时序逻辑的黑暗面:标记不可判定的边界。 Zbl公司 1325.03014
布雷索林,戴维德;黛拉·莫妮卡,达里奥;哥伦科,瓦伦丁;蒙塔纳里,安吉洛;西亚维科,吉多
14
2014
度量命题邻域逻辑:表达性、可判定性和不可判定性。 Zbl公司 1211.68397
布雷索林,D。;德拉莫妮卡,D。;哥兰科,V。;蒙塔纳里,A。;西亚维科,G。
11
2010
人工智能中的时间表示与推理:问题与方法。 Zbl公司 1001.68096
吉塔罗,卢卡;蒙塔纳里,安吉洛
11
2000
检查计算的间隔属性。 Zbl公司 1350.68184
莫利纳里,阿尔伯托;蒙塔纳里,安吉洛;穆拉诺,阿尼埃洛;佩雷利,朱塞佩;佩隆,阿德里亚诺
10
2016
Halpern和Shoham区间时间逻辑的可判定和不可判定片段:走向完全分类。 Zbl公司 1182.03037
布雷索林,戴维德;黛拉·莫妮卡,达里奥;哥伦科,瓦伦丁;蒙塔纳里,安吉洛;西亚维科,吉多
10
2008
右命题邻域逻辑的最优决策过程。 Zbl公司 1121.03027
布雷索林,戴维德;蒙塔纳里,安吉洛;阿维西科,吉多
10
2007
在周期性存在下估计长期依赖性:一项实证研究。 Zbl公司 999.62072
蒙塔纳里,A。;塔克曲,M。美国。;特弗罗夫斯基,V。
9
1999
基于表的命题邻域逻辑的最优决策算法。 Zbl公司 1141.03308
布雷索林,戴维德;蒙塔纳里,安吉洛;萨拉,皮埃特罗
8
2007
命题区间时态逻辑的一种通用表方法:理论与实现。 Zbl公司 1104.03010
哥兰科,V。;蒙塔纳里,A。;萨拉,P。;西亚维科,G。
8
2006
强离散线性序上的区间时序逻辑:表现性与复杂性。 Zbl公司 1335.03017
布雷索林,戴维德;黛拉·莫妮卡,达里奥;蒙塔纳里,安吉洛;萨拉,皮埃特罗;西亚维科,吉多
7
2014
区间时间逻辑:旅程。 Zbl公司 1275.03087
黛拉·莫妮卡,达里奥;哥伦科,瓦伦丁;蒙塔纳里,安吉洛;西亚维科,吉多
7
2011
区间时态逻辑(\operatorname{AB\ overline{B}})对自然数的可判定性。 Zbl公司 1230.03047
蒙塔纳里,安吉洛;普皮斯,加布里埃尔;萨拉,皮埃特罗;西亚维科,吉多
7
2010
间隔时序逻辑在分裂帧上的可判定性。 Zbl公司 1013.03013
蒙塔纳里,安吉洛;西亚维科,吉多;Vitacolonna,尼古拉
7
2002
多模逻辑的集合论翻译方法。 Zbl公司 840.03015
达戈斯蒂诺,乔瓦娜;蒙塔纳里,安吉洛;阿尔伯托波利克里蒂
7
1995
区间与点时态逻辑模型检验:表达性比较。 Zbl公司 1391.68075
波泽利,劳拉;莫利纳里,阿尔伯托;蒙塔纳里,安吉洛;佩隆,阿德里亚诺;萨拉,皮埃特罗
6
2016
一种基于轨迹代表的区间时序逻辑模型检验方法。 Zbl公司 1373.68289
莫利纳里,阿尔伯托;蒙塔纳里,安吉洛;佩隆,阿德里亚诺
6
2015
线性序上右命题邻域逻辑的最优表。 Zbl公司 1178.03030
布雷索林,戴维德;蒙塔纳里,安吉洛;萨拉,皮埃特罗;西亚维科,吉多
6
2008
区间时序逻辑模型检查:好的和坏的HS片段之间的边界。 Zbl公司 06623275
波泽利,劳拉;莫利纳里,阿尔伯托;蒙塔纳里,安吉洛;佩隆,阿德里亚诺;萨拉,皮埃特罗
5
2016
论命题区间邻域逻辑的可判定性和表现性。 Zbl公司 1132.03335
布雷索林,戴维德;哥伦科,瓦伦丁;蒙塔纳里,安吉洛;西亚维科,吉多
5
2007
基于表的右命题邻域逻辑决策过程。 Zbl公司 1141.03307
布雷索林,戴维德;蒙塔纳里,安吉洛
5
2005
时间粒度的时间化逻辑和自动机。 Zbl公司 1088.68105
弗朗切斯切特,马西莫;蒙塔纳里,安吉洛
5
2004
论稠密结构上Allen关系模态逻辑片段的复杂性。 Zbl公司 1451.03020
布雷索林,戴维德;黛拉·莫妮卡,达里奥;蒙塔纳里,安吉洛;萨拉,皮埃特罗;西亚维科,吉多
4
2015
具有锥形基本方向的可判定空间逻辑。 Zbl公司 1257.03054
蒙塔纳里,安吉洛;普皮斯,加布里埃尔;萨拉,皮埃特罗
4
2009
在标记后继结构上的Ehrenfeucht对策的算法说明。 Zbl公司 1143.03353
蒙塔纳里,安吉洛;阿尔伯托波利克里蒂;Vitacolonna,尼古拉
4
2005
日历、时间粒度和自动机。 Zbl公司 997.68567
达拉戈,乌戈;蒙塔纳里,安吉洛
4
2001
在同步实时系统的逻辑规范语言中嵌入时间粒度。 Zbl公司 781.68083
卡佩索尼,E。;科塞蒂,E。;蒙塔纳里,A。;圣彼得罗,P。
4
1993
艾伦关系区间逻辑表达性的一个完整分类:一般和稠密情况。 Zbl公司 1339.03018
醋酸,卢卡;黛拉·莫妮卡,达里奥;哥伦科,瓦伦丁;ólfsd公司ó蒂尔,安娜;蒙塔纳里,安吉洛;西亚维科,吉多
2016
基于锥形主方向的罗盘逻辑的可判定弱化。 Zbl公司 1351.03014
蒙塔纳里,安吉洛;普皮斯,加布里埃尔;萨拉,皮埃特罗
2015
有限阶和离散线性阶上Allen关系的区间逻辑的表现性。 Zbl公司 1432.03027
醋酸,卢卡;黛拉·莫妮卡,达里奥;ólfsd公司ó蒂尔,安娜;蒙塔纳里,安吉洛;西亚维科,吉多
2014
区间时态逻辑在有理数上的可判定性。 Zbl公司 1426.03018
蒙塔纳里,安吉洛;普皮斯,加布里埃尔;萨拉,皮埃特罗
2014
区间时序逻辑的光明面:Bernays SchöCDT的n链片段。 Zbl公司 1325.03015
布雷索林,戴维德;黛拉·莫妮卡,达里奥;蒙塔纳里,安吉洛;西亚维科,吉多
2014
增加一个等价关系到区间逻辑\(AB\bar{B}\):复杂性和表达性。 Zbl公司 1366.03185
蒙塔纳里,安吉洛;萨拉,皮埃特罗
2013
区间逻辑与正则语言。 Zbl公司 1377.03026
蒙塔纳里,安吉洛;萨拉,皮埃特罗
2013
过去在区间时间逻辑中的重要性:以命题邻域逻辑为例。 Zbl公司 1356.03061
黛拉·莫妮卡,达里奥;蒙塔纳里,安吉洛;萨拉,皮埃特罗
2012
命题邻域逻辑在所有、稠密和离散线性阶上的最优表系统。 Zbl公司 1333.03006
布雷索林,戴维德;蒙塔纳里,安吉洛;萨拉,皮埃特罗;西亚维科,吉多
2011
最终周期语言和自动机理论及其对时间粒度的应用。 Zbl公司 1186.68246
布雷索林,戴维德;蒙塔纳里,安吉洛;普皮斯,加布里埃尔
2009
具有C,D,T的区间时间逻辑的非有限公理化和不可判定性。 Zbl公司 1156.03321
霍金森,伊恩;蒙塔纳里,安吉洛;西亚维科,吉多
2008
稠密序上子区间结构逻辑的Tableau系统。 Zbl公司 1133.03007
布雷索林,戴维德;哥伦科,瓦伦丁;蒙塔纳里,安吉洛;萨拉,皮埃特罗
2007
基于时间粒度的紧凑可处理自动机表示。 Zbl公司 1257.68063
达拉戈,乌戈;蒙塔纳里,安吉洛;普皮斯,加布里埃尔
2003
将Kamp定理推广到时间粒度模型。 Zbl公司 1006.03015
蒙塔纳里,安吉洛;佩隆,阿德里亚诺;阿尔伯托波利克里蒂
2002
分层度量时间结构理论:表达性与可判定性。 Zbl公司 920.03033
蒙塔纳里,安吉洛;佩隆,阿德里亚诺;阿尔伯托波利克里蒂
1999
二阶逻辑与集合论中的模态演绎。一。 Zbl公司 873.03021
范本瑟姆,约翰;达戈斯蒂诺,乔瓦娜;蒙塔纳里,安吉洛;阿尔伯托波利克里蒂
1997
度量和分层时序逻辑的可判定性结果。 Zbl公司 858.03018
蒙塔纳里,安吉洛;阿尔伯托波利克里蒂
1996
提示间隔时间逻辑。 Zbl公司 06658162
黛拉·莫妮卡,达里奥;蒙塔纳里,安吉洛;穆拉诺,阿尼埃洛;萨拉,皮埃特罗
2
2016
具有等价关系的度量命题邻域逻辑。 Zbl公司 1350.68185
蒙塔纳里,安吉洛;帕扎格利亚,马可;萨拉,皮埃特罗
2
2016
有限结构、自然数和整数上MPNL的最优决策过程。 Zbl公司 1296.03013
布雷索林,戴维德;蒙塔纳里,安吉洛;萨拉,皮埃特罗;西亚维科,吉多
2
2013
有限线性阶上右命题邻域逻辑的表系统:一个实现。 Zbl公司 1401.68275
布雷索林,戴维德;黛拉·莫妮卡,达里奥;蒙塔纳里,安吉洛;西亚维科,吉多
2
2013
有限线性阶上的区间时序逻辑:全貌。 Zbl公司 1327.03012
布雷索林,D。;德拉莫妮卡,D。;蒙塔纳里,A。;萨拉,P。;西亚维科,G。
2
2012
有限序关系弦上的对策。 Zbl公司 1211.03050
德玛丽亚,伊丽莎白;蒙塔纳里,安吉洛;Vitacolonna,尼古拉
2
2009
时间粒度和最终的周期自动机。 Zbl公司 1111.68697
布雷索林,戴维德;蒙塔纳里,安吉洛;普皮斯,加布里埃尔
2
2004
各州的驯服(定时)。 Zbl公司 964.03017
蒙塔纳里,安吉洛;佩隆,阿德里亚诺;阿尔伯托波利克里蒂
2
2000
模态事件的层次性和可计算性。 Zbl公司 945.03017
塞尔维萨托,伊利亚诺;弗朗切斯切特,马西莫;蒙塔纳里,安吉洛
2
2000
二阶逻辑与集合论中的模态演绎。二。 Zbl公司 953.03022
范本瑟姆,约翰;达戈斯蒂诺,乔瓦娜;蒙塔纳里,安吉洛;阿尔伯托波利克里蒂
2
1998
基于轨迹代表的Halpern和Shoham区间时序逻辑片段的模型检验。 Zbl公司 1390.68436
莫利纳里,阿尔伯托;蒙塔纳里,安吉洛;佩隆,阿德里亚诺
1
2018
基于正则表达式的区间时态逻辑模型检验的深入研究。 Zbl公司 1420.68120
波泽利,劳拉;莫利纳里,阿尔伯托;蒙塔纳里,安吉洛;佩隆,阿德里亚诺
1
2017
LTL+过去的一次性树形画面。 Zbl公司 1402.03026
吉甘特,尼古拉;蒙塔纳里,安吉洛;雷诺兹,马克
1
2017
将概念设计映射到XML模式的图论方法。 Zbl公司 1321.68245
弗朗切斯切特,马西莫;古比尼,多纳泰拉;蒙塔纳里,安吉洛;广场,卡拉
1
2013
Horn理论最大模型的一种算法及其在模态逻辑中的应用。 Zbl公司 1433.03019
醋酸,卢卡;黛拉·莫妮卡,达里奥;ólfsd公司ó蒂尔,安娜;蒙塔纳里,安吉洛;西亚维科,吉多
1
2013
离散线性序上重叠关系逻辑的不可判定性。 Zbl公司 1345.03019
布雷索林,戴维德;黛拉·莫妮卡,达里奥;哥伦科,瓦伦丁;蒙塔纳里,安吉洛;西亚维科,吉多
1
2010
基于时间粒度的紧凑可处理自动机表示。 Zbl公司 1111.68053
达拉戈,乌戈;蒙塔纳里,安吉洛;普皮斯,加布里埃尔
1
2007
时间粒度二元谓词的可定义性和可判定性。 Zbl公司 1101.03016
弗朗切斯切特,马西莫;蒙塔纳里,安吉洛;佩隆,阿德里亚诺;西亚维科,吉多
1
2006
区间时间逻辑与持续时间计算专题前言。 Zbl公司 1180.03019
哥伦科,瓦伦丁;蒙塔纳里,安吉洛
1
2004
时间内的分支:一种表示完整的、基本可判定的时间粒度时态逻辑。 Zbl公司 1082.68066
弗朗切斯切特,马西莫;蒙塔纳里,安吉洛
1
2003
(\omega\)层度量时间结构的可判定理论。 Zbl公司 945.03022
蒙塔纳里,安吉洛;佩隆,阿德里亚诺;阿尔伯托波利克里蒂
1
2000
两类度量时态逻辑。 Zbl公司 901.03019
蒙塔纳里,安吉洛;马尔滕,德里克
1
1997
投影指数在投影追踪中的作用。 Zbl公司 863.62062
蒙塔纳里,A。;北卡罗来纳州古列尔米。
1
1996
关于求最大时间间隔的事件演算的非单调行为。 Zbl公司 836.90116
塞尔维萨托,伊利亚诺;蒙塔纳里,安吉洛;普罗维蒂,亚历山德罗
1
1993
在事件演算中处理时间粒度。 Zbl公司 864.68101
蒙塔纳里,安吉洛;梅尔姆,恩里克;伊曼纽尔,西佩索尼;拉托,埃琳娜
1
1992
基于轨迹代表的Halpern和Shoham区间时序逻辑片段的模型检验。 Zbl公司 1390.68436
莫利纳里,阿尔伯托;蒙塔纳里,安吉洛;佩隆,阿德里亚诺
1
2018
基于正则表达式的区间时态逻辑模型检验的深入研究。 Zbl公司 1420.68120
波泽利,劳拉;莫利纳里,阿尔伯托;蒙塔纳里,安吉洛;佩隆,阿德里亚诺
1
2017
LTL+过去的一次性树形画面。 Zbl公司 1402.03026
吉甘特,尼古拉;蒙塔纳里,安吉洛;雷诺兹,马克
1
2017
检查计算的间隔属性。 Zbl公司 1350.68184
莫利纳里,阿尔伯托;蒙塔纳里,安吉洛;穆拉诺,阿尼埃洛;佩雷利,朱塞佩;佩隆,阿德里亚诺
10
2016
区间与点时态逻辑模型检验:表达性比较。 Zbl公司 1391.68075
波泽利,劳拉;莫利纳里,阿尔伯托;蒙塔纳里,安吉洛;佩隆,阿德里亚诺;萨拉,皮埃特罗
6
2016
区间时序逻辑模型检查:好的和坏的HS片段之间的边界。 Zbl公司 06623275
波泽利,劳拉;莫利纳里,阿尔伯托;蒙塔纳里,安吉洛;佩隆,阿德里亚诺;萨拉,皮埃特罗
5
2016
艾伦关系区间逻辑表达性的一个完整分类:一般和稠密情况。 Zbl公司 1339.03018
醋酸,卢卡;黛拉·莫妮卡,达里奥;哥伦科,瓦伦丁;ólfsd公司ó蒂尔,安娜;蒙塔纳里,安吉洛;西亚维科,吉多
2016
提示间隔时间逻辑。 Zbl公司 06658162
黛拉·莫妮卡,达里奥;蒙塔纳里,安吉洛;穆拉诺,阿尼埃洛;萨拉,皮埃特罗
2
2016
具有等价关系的度量命题邻域逻辑。 Zbl公司 1350.68185
蒙塔纳里,安吉洛;帕扎格利亚,马可;萨拉,皮埃特罗
2
2016
一种基于轨迹代表的区间时序逻辑模型检验方法。 Zbl公司 1373.68289
莫利纳里,阿尔伯托;蒙塔纳里,安吉洛;佩隆,阿德里亚诺
6
2015
论稠密结构上Allen关系模态逻辑片段的复杂性。 Zbl公司 1451.03020
布雷索林,戴维德;黛拉·莫妮卡,达里奥;蒙塔纳里,安吉洛;萨拉,皮埃特罗;西亚维科,吉多
4
2015
基于锥形主方向的罗盘逻辑的可判定弱化。 Zbl公司 1351.03014
蒙塔纳里,安吉洛;普皮斯,加布里埃尔;萨拉,皮埃特罗
2015
区间时序逻辑的黑暗面:标记不可判定的边界。 Zbl公司 1325.03014
布雷索林,戴维德;黛拉·莫妮卡,达里奥;哥伦科,瓦伦丁;蒙塔纳里,安吉洛;西亚维科,吉多
14
2014
强离散区间上的时序复杂性与线性复杂度。 Zbl公司 1335.03017
布雷索林,戴维德;黛拉·莫妮卡,达里奥;蒙塔纳里,安吉洛;萨拉,皮埃特罗;西亚维科,吉多
7
2014
有限阶和离散线性阶上Allen关系的区间逻辑的表现性。 Zbl公司 1432.03027
醋酸,卢卡;黛拉·莫妮卡,达里奥;ólfsd公司ó蒂尔,安娜;蒙塔纳里,安吉洛;西亚维科,吉多
2014
区间时态逻辑在有理数上的可判定性。 Zbl公司 1426.03018
蒙塔纳里,安吉洛;普皮斯,加布里埃尔;萨拉,皮埃特罗
2014
区间时序逻辑的光明面:Bernays SchöCDT的n链片段。 Zbl公司 1325.03015
布雷索林,戴维德;黛拉·莫妮卡,达里奥;蒙塔纳里,安吉洛;西亚维科,吉多
2014
增加一个等价关系到区间逻辑\(AB\bar{B}\):复杂性和表达性。 Zbl公司 1366.03185
蒙塔纳里,安吉洛;萨拉,皮埃特罗
2013
区间逻辑与正则语言。 Zbl公司 1377.03026
蒙塔纳里,安吉洛;萨拉,皮埃特罗
2013
有限结构、自然数和整数上MPNL的最优决策过程。 Zbl公司 1296.03013
布雷索林,戴维德;蒙塔纳里,安吉洛;萨拉,皮埃特罗;西亚维科,吉多
2
2013
有限线性阶上右命题邻域逻辑的表系统:一个实现。 Zbl公司 1401.68275
布雷索林,戴维德;黛拉·莫妮卡,达里奥;蒙塔纳里,安吉洛;西亚维科,吉多
2
2013
将概念设计映射到XML模式的图论方法。 Zbl公司 1321.68245
弗朗切斯切特,马西莫;古比尼,多纳泰拉;蒙塔纳里,安吉洛;广场,卡拉
1
2013
Horn理论最大模型的一种算法及其在模态逻辑中的应用。 Zbl公司 1433.03019
醋酸,卢卡;黛拉·莫妮卡,达里奥;ólfsd公司ó蒂尔,安娜;蒙塔纳里,安吉洛;西亚维科,吉多
1
2013
过去在区间时间逻辑中的重要性:以命题邻域逻辑为例。 Zbl公司 1356.03061
黛拉·莫妮卡,达里奥;蒙塔纳里,安吉洛;萨拉,皮埃特罗
2012
有限线性阶上的区间时序逻辑:全貌。 Zbl公司 1327.03012
布雷索林,D。;德拉莫妮卡,D。;蒙塔纳里,A。;萨拉,P。;西亚维科,G。
2
2012
区间时间逻辑:旅程。 Zbl公司 1275.03087
黛拉·莫妮卡,达里奥;哥伦科,瓦伦丁;蒙塔纳里,安吉洛;西亚维科,吉多
7
2011
命题邻域逻辑在所有、稠密和离散线性阶上的最优表系统。 Zbl公司 1333.03006
布雷索林,戴维德;蒙塔纳里,安吉洛;派萨拉,特洛;西亚维科,吉多
2011
Halpern和Shoham区间模态逻辑的最大可判定片段。 Zbl公司 1288.03017
蒙塔纳里,安吉洛;普皮斯,加布里埃尔;萨拉,皮埃特罗
16
2010
稠密序上子区间结构逻辑的表。 Zbl公司 1188.03009
布雷索林,戴维德;哥伦科,瓦伦丁;蒙塔纳里,安吉洛;萨拉,皮埃特罗
15
2010
度量命题邻域逻辑:表达性、可判定性和不可判定性。 Zbl公司 1211.68397
布雷索林,D。;德拉莫妮卡,D。;哥兰科,V。;蒙塔纳里,A。;西亚维科,G。
11
2010
区间时态逻辑(\operatorname{AB\ overline{B}})对自然数的可判定性。 Zbl公司 1230.03047
蒙塔纳里,安吉洛;普皮斯,加布里埃尔;萨拉,皮埃特罗;西亚维科,吉多
7
2010
离散线性序上重叠关系逻辑的不可判定性。 Zbl公司 1345.03019
布雷索林,戴维德;黛拉·莫妮卡,达里奥;哥伦科,瓦伦丁;蒙塔纳里,安吉洛;西亚维科,吉多
1
2010
命题区间邻域逻辑:表现性、可判定性和不可判定扩展。 Zbl公司 1221.03022
布雷索林,戴维德;哥伦科,瓦伦丁;蒙塔纳里,安吉洛;西亚维科,吉多
22
2009
具有锥形基本方向的可判定空间逻辑。 Zbl公司 1257.03054
蒙塔纳里,安吉洛;普皮斯,加布里埃尔;萨拉,皮埃特罗
4
2009
最终周期语言和自动机理论及其对时间粒度的应用。 Zbl公司 1186.68246
布雷索林,戴维德;蒙塔纳里,安吉洛;普皮斯,加布里埃尔
2009
有限序关系弦上的对策。 Zbl公司 1211.03050
德玛丽亚,伊丽莎白;蒙塔纳里,安吉洛;Vitacolonna,尼古拉
2
2009
Halpern和Shoham区间时间逻辑的可判定和不可判定片段:走向完全分类。 Zbl公司 1182.03037
布雷索林,戴维德;黛拉·莫妮卡,达里奥;哥伦科,瓦伦丁;蒙塔纳里,安吉洛;西亚维科,吉多
10
2008
线性序上右命题邻域逻辑的最优表。 Zbl公司 1178.03030
布雷索林,戴维德;蒙塔纳里,安吉洛;萨拉,皮埃特罗;西亚维科,吉多
6
2008
具有C,D,T的区间时间逻辑的非有限公理化和不可判定性。 Zbl公司 1156.03321
霍金森,伊恩;蒙塔纳里,安吉洛;西亚维科,吉多
2008
右命题邻域逻辑的最优决策过程。 Zbl公司 1121.03027
布雷索林,戴维德;蒙塔纳里,安吉洛;西亚维科,吉多
10
2007
基于表的命题邻域逻辑的最优决策算法。 Zbl公司 1141.03308
布雷索林,戴维德;蒙塔纳里,安吉洛;萨拉,皮埃特罗
8
2007
论命题区间邻域逻辑的可判定性和表现性。 Zbl公司 1132.03335
布雷索林,戴维德;哥伦科,瓦伦丁;蒙塔纳里,安吉洛;西亚维科,吉多
5
2007
稠密序上子区间结构逻辑的Tableau系统。 Zbl公司 1133.03007
布雷索林,戴维德;哥伦科,瓦伦丁;蒙塔纳里,安吉洛;萨拉,皮埃特罗
2007
基于时间粒度的紧凑可处理自动机表示。 Zbl公司 1111.68053
达拉戈,乌戈;蒙塔纳里,安吉洛;普皮斯,加布里埃尔
1
2007
命题区间时态逻辑的一种通用表方法:理论与实现。 Zbl公司 1104.03010
哥兰科,V。;蒙塔纳里,A。;萨拉,P。;西亚维科,G。
8
2006
时间粒度二元谓词的可定义性和可判定性。 Zbl公司 1101.03016
弗朗切斯切特,马西莫;蒙塔纳里,安吉洛;佩隆,阿德里亚诺;西亚维科,吉多
1
2006
基于表的右命题邻域逻辑决策过程。 Zbl公司 1141.03307
布雷索林,戴维德;蒙塔纳里,安吉洛
5
2005
在标记后继结构上的Ehrenfeucht对策的算法说明。 Zbl公司 1143.03353
蒙塔纳里,安吉洛;阿尔伯托波利克里蒂;Vitacolonna,尼古拉
4
2005
区间时间逻辑和持续时间计算的路线图。 Zbl公司 1181.03012
哥兰科,V。;蒙塔纳里,A。;西亚维科,G。
25
2004
时间粒度的时间化逻辑和自动机。 Zbl公司 1088.68105
弗朗切斯切特,马西莫;蒙塔纳里,安吉洛
5
2004
时间粒度和最终的周期自动机。 Zbl公司 1111.68697
布雷索林,戴维德;蒙塔纳里,安吉洛;普皮斯,加布里埃尔
2
2004
区间时间逻辑与持续时间计算专题前言。 Zbl公司 1180.03019
哥伦科,瓦伦丁;蒙塔纳里,安吉洛
1
2004
命题区间时间逻辑的一种通用表方法。 Zbl公司 1274.03033
哥伦科,瓦伦丁;蒙塔纳里,安吉洛;西亚维科,吉多
15
2003
基于时间粒度的紧凑可处理自动机表示。 Zbl公司 1257.68063
达拉戈,乌戈;蒙塔纳里,安吉洛;普皮斯,加布里埃尔
2003
时间内的分支:一种表示完整的、基本可判定的时间粒度时态逻辑。 Zbl公司 1082.68066
弗朗切斯切特,马西莫;蒙塔纳里,安吉洛
1
2003
间隔时序逻辑在分裂帧上的可判定性。 Zbl公司 1013.03013
蒙塔纳里,安吉洛;西亚维科,吉多;Vitacolonna,尼古拉
7
2002
将Kamp定理推广到时间粒度模型。 Zbl公司 1006.03015
蒙塔纳里,安吉洛;佩隆,阿德里亚诺;阿尔伯托波利克里蒂
2002
日历、时间粒度和自动机。 Zbl公司 997.68567
达拉戈,乌戈;蒙塔纳里,安吉洛
4
2001
人工智能中的时间表示与推理:问题与方法。 Zbl公司 1001.68096
卢奇托,塔塔;蒙塔纳里,安吉洛
11
2000
各州的驯服(定时)。 Zbl公司 964.03017
蒙塔纳里,安吉洛;佩隆,阿德里亚诺;阿尔伯托波利克里蒂
2
2000
模态事件计算的层次结构:表达性和复杂性。 Zbl公司 945.03017
塞尔维萨托,伊利亚诺;弗朗切斯切特,马西莫;蒙塔纳里,安吉洛
2
2000
(\omega\)层度量时间结构的可判定理论。 Zbl公司 945.03022
蒙塔纳里,安吉洛;佩隆,阿德里亚诺;阿尔伯托波利克里蒂
1
2000
在周期性存在下估计长期依赖性:一项实证研究。 Zbl公司 999.62072
蒙塔纳里,A。;塔克曲,M。美国。;特弗罗夫斯基,V。
9
1999
分层度量时间结构理论:表达性与可判定性。 Zbl公司 920.03033
蒙塔纳里,安吉洛;佩隆,阿德里亚诺;阿尔伯托波利克里蒂
1999
二阶逻辑与集合论中的模态演绎。二。 Zbl公司 953.03022
范本瑟姆,约翰;达戈斯蒂诺,乔瓦娜;蒙塔纳里,安吉洛;阿尔伯托波利克里蒂
2
1998
二阶逻辑与集合论中的模态演绎。一。 Zbl公司 873.03021
范本瑟姆,约翰;达戈斯蒂诺,乔瓦娜;蒙塔纳里,安吉洛;阿尔伯托波利克里蒂
1997
两类度量时态逻辑。 Zbl公司 901.03019
蒙塔纳里,安吉洛;马尔滕,德里克
1
1997
度量和分层时序逻辑的可判定性结果。 Zbl公司 858.03018
蒙塔纳里,安吉洛;阿尔伯托波利克里蒂
1996
投影指数在投影追踪中的作用。 Zbl公司 863.62062
蒙塔纳里,A。;北卡罗来纳州古列尔米。
1
1996
多模逻辑的集合论翻译方法。 Zbl公司 840.03015
达戈斯蒂诺,乔瓦娜;蒙塔纳里,安吉洛;阿尔伯托波利克里蒂
7
1995
在同步实时系统的逻辑规范语言中嵌入时间粒度。 Zbl公司 781.68083
卡佩索尼,E。;科塞蒂,E。;蒙塔纳里,A。;圣彼得罗,P。
4
1993
关于求最大时间间隔的事件演算的非单调行为。 Zbl公司 836.90116
塞尔维萨托,伊利亚诺;蒙塔纳里,安吉洛;普罗维蒂,亚历山德罗
1
1993
在事件演算中处理时间粒度。 Zbl公司 864.68101
蒙塔纳里,安吉洛;梅姆,恩里科;伊曼纽尔,西佩索尼;拉托,埃琳娜
1
1992
全部的 前5名

被144位作者引用

33 蒙塔纳里,安吉洛
21 西亚维科,吉多
17 萨拉,皮埃特罗
12 布雷索林,戴维德
9 黛拉·莫妮卡,达里奥
9 戈兰科,瓦伦丁F。
9 佩隆,阿德里亚诺
7 莫利纳里,阿尔伯托
5 核磁共振成像é帕恩P。
4 波泽利,劳拉
4 普皮斯,加布里埃尔
阿尔维斯·罗查,蒂亚戈
卡奎罗,丹尼尔O。
杜尔汗,萨利赫
马丁斯,安娜·特雷莎
阿尔伯托波利克里蒂
塔巴克,本杰明·米兰达
2 亚提基斯,亚历山大
2 伯恩斯,艾伦·D。
2 康托纳,多梅尼科
2 切博塔列夫,安纳托利N。
2 科比,卡罗
2 康拉德,威廉J。
2 威慑,摩根
2 科努尔,萨瓦
2 三月ín、 罗克L。
2 马丁斯费雷拉,弗朗西克贝尔
2 玛西尼,安德里亚
2 穆拉诺,阿尼埃洛
2 奥莫迪奥,尤金尼奥·乔瓦尼
2 帕里奥拉斯,乔治
2 帕扎格利亚,马可
2 雷诺兹,马克·亚历山大
2 维根ò, 卢卡
2 沃尔普,马可
2 华盛顿州łę乔治亚州,普瑞米斯ł哦,安德泽伊
1 醋酸,卢卡
1 巴尔比尼,菲利普
1 巴罗齐尼,大卫
1 巴特,斯蒂芬
1 贝塞姆,马克
1 Bhattacharya,阿扬
1 波兰德,托马斯
1 布阿齐兹,拉菲克
1 婆罗门,邹海儿
1 Cardenas Viedma,M。安东尼娅
1 卡塔尼,卡罗
1 â班恩,纳吉
1 查托帕德哈伊,伊沙努
1 Chi,Chihong
1 奇兹霍夫,A。美国。
1 西塞克利,伊利亚斯
1 达拉戈,乌戈
1 德弗鲁托斯·埃斯克里格,大卫
1 德玛丽亚,伊丽莎白
1 德尼维尔,汉斯
1 马尔滕,德里克
1 迪克斯,尤根
1 蕨类植物á恩德斯商业区í尼兹,曼纽尔
1 法拉利,卢卡·阿尔贝托·戴维德
1 福米萨诺,安德里亚
1 弗朗切斯切特,马西莫
1 富里亚,卡洛·阿尔贝托
1 加斯科,Ré地理信息系统
1 盖蒂,卢卡
1 吉甘特,尼古拉
1 吉尔·阿拉纳,路易斯·阿尔贝里科
1 乔达诺,劳拉
1 乔治,戈瓜泽
1 盖列夫,迪米塔P。
1 基尔,弗朗西斯科
1 哈姆鲁尼,后
1 汉森,延斯乌尔里克
1 汉森,迈克尔·赖克哈特
1 海斯,伊恩J。
1 赫希,罗宾
1 呵呵,吐宝
1 Hö弗纳,彼得
1 ólfsd公司ó蒂尔,安娜
1 约布奇克,氪星人
1 华雷斯,何塞·M。
1 卡法尔ı, Özg公司ür
1 川崎,佐治
1 克西姆Çç伊克利,尼汉
1 克劳斯,萨瑞特
1 乐,思量
1 白克,马丁
1 李明
1 李媛媛
1 利格ȩza,安东尼
1 利普森,霍德
1 莉莎,阿列克谢
1 莉扎尼,劳拉
1 马克里斯,伊万盖洛斯
1 马丁斯费雷尔,弗朗西克贝尔
1 ö勒尔,伯恩哈德
1 蒙塔纳里,安吉拉
1 莫拉莱斯,安东尼奥·瓦尔德és
1 莫斯科夫斯基,本·C。
1 ñ奥兹·贝拉斯科,埃米利奥
…还有44位作者

按年份列出的引文