法昆多·卡雷罗
人员信息
SPARQL查询
优化列表
2020年–今天
2022 [j3] 法昆多·卡雷罗 , 亚历山德罗·法奇尼 , Yde Venema公司 , 法比奥·扎纳西 :
带有无限量词的一元谓词逻辑模型理论。 架构(architecture)。 数学。 日志。 61 ( 3-4 ) : 465-502 ( 2022 ) 2020 [注2] 法昆多·卡雷罗 , 亚历山德罗·法奇尼 , Yde Venema公司 , 法比奥·扎纳西 :
弱者的力量。 ACM事务处理。 计算。 日志。 21 ( 2 ) : 15:1-15:47 ( 2020 )
2010 – 2019
2018 [i5] 法昆多·卡雷罗 , 亚历山德罗·法奇尼 , Yde Venema公司 , 法比奥·扎纳西 :
具有无限量词的一元谓词逻辑的模型理论。 CoRR公司 abs/1809.03262 ( 2018 ) [i4] 法昆多·卡雷罗 , 亚历山德罗·法奇尼 , Yde Venema公司 , 法比奥·扎纳西 :
弱者的力量。 CoRR公司 abs/1809.03896 ( 2018 ) 2015 【c7】 法昆多·卡雷罗 :
PDL是弱链逻辑的互模拟不变片段。 许可证 2015 : 341-352 [i3] 法昆多·卡雷罗 :
PDL和FO(TC)的特征定理。 CoRR公司 abs/1501.02607 ( 2015 ) 2014 [j1] 卡洛斯·阿雷塞斯 , 法昆多·卡雷罗 , 圣地亚哥·菲格雷拉 :
通过饱和模型进行表征、可定义和分离。 西奥。 计算。 科学。 537 : 72-86 ( 2014 ) 【c6】 法昆多·卡雷罗 , Yde Venema公司 :
PDL内部- 微积分:句法和自动机理论表征。 模态逻辑的进展 2014 : 74-93 【c5】 法昆多·卡雷罗 , 亚历山德罗·法奇尼 , Yde Venema公司 , 法比奥·扎纳西 :
弱MSO:自动机和表达模双相似性。 CSL-LICS公司 2014 : 27:1-27:27 [i2] 法昆多·卡雷罗 , 亚历山德罗·法奇尼 , Yde Venema公司 , 法比奥·扎纳西 :
弱MSO:自动机与表达模相似性。 CoRR公司 abs/1401.4374 ( 2014 ) 2013 【c4】 法昆多·卡雷罗 , 丹尼尔·戈林 , 卢茨·施罗德 :
Coalgebraic公告逻辑。 ICALP(二) 2013 : 101-112 2012 【c3】 法昆多·卡雷罗 , 斯特凡·德姆里 :
Presburger模态逻辑的超越正则性。 模态逻辑的进展 2012 : 161-182 2011 【c2】 法昆多·卡雷罗 :
关于表征、可定义和ω-饱和模型。 ICTAC公司 2011 : 62-76 【c1】 卡洛斯·阿雷塞斯 , 法昆多·卡雷罗 , 圣地亚哥·菲格雷拉 , 塞尔吉奥·梅拉 :
记忆逻辑的基本模型理论。 沃尔利克 2011 : 20-34 2010 [i1] 法昆多·卡雷罗 :
模态一阶碎片的特征和可定义性。 CoRR公司 abs/1011.4718 ( 2010 )