安娜·特蕾莎·C·马丁斯
人员信息
优化列表
2020年–今天
2021 [公元20年] 路易斯·恩里克·巴斯塔曼特 , 安娜·特蕾莎·C·马丁斯 :
数据库弹性的一些方面。 ICTAC公司 2021 : 39-46 [第19条] 布鲁诺·梅内泽斯 , 安娜·特蕾莎·C·马丁斯 , 蒂亚戈·阿尔夫斯·罗查 :
基于模型检查的支持体系结构一致性检查的两级方法。 SBMF公司 2021 : 1-16 2020 [公元10年] 蒂亚戈·阿尔夫斯·罗查 , 安娜·特蕾莎·C·马丁斯 , 弗朗西尔伯·马丁斯·费雷拉 :
使用Ehrenfeucht-Fraïssé游戏从字符串样本中合成DNF公式。 理论。 计算。 科学。 805 : 109-126 ( 2020 ) [公元9年] 蒂亚戈·阿尔夫斯·罗查 , 安娜·特蕾莎·C·马丁斯 , 弗朗西尔伯·马丁斯·费雷拉 :
用EF游戏和SAT从不一致的字符串样本合成无量词DNF句子。 理论。 计算。 科学。 843 : 115-135 ( 2020 )
2010 – 2019
2019 [第18条] 蒂亚戈·阿尔夫斯·罗查 , 安娜·特蕾莎·C·马丁斯 :
从有噪声的字符串样本合成无量词的一阶句子。 巴西 2019 : 12-17 2018 [第17条] 蒂亚戈·阿尔夫斯·罗查 , 安娜·特蕾莎·C·马丁斯 , 弗朗西尔伯·马丁斯·费雷拉 :
从字符串样本合成DNF公式。 巴西 2018 : 534-539 [第16条] 路易斯·恩里克·巴斯塔曼特 , 安娜·特蕾莎·C·马丁斯 , 弗朗西尔伯·马丁斯·费雷拉 :
一阶逻辑某些前缀-局部片段的参数化复杂性。 沃尔利克 2018 : 163-178 [第15条] 蒂亚戈·阿尔夫斯·罗查 , 安娜·特蕾莎·C·马丁斯 , 弗朗西尔伯·马丁斯·费雷拉 :
寻找与字符串样本一致的一阶句子。 甘道夫 2018 : 220-234 [c14] 蒂亚戈·阿尔夫斯·罗查 , 安娜·特蕾莎·C·马丁斯 , 弗朗西尔伯·马丁斯·费雷拉 :
用最小量词秩的一阶句子区分结构集。 LSFA公司 2018 : 189-208 2016 [第13条] 阿纳多·阿劳霍 , 安娜·特蕾莎·C·马丁斯 , 戴维·罗梅罗 :
偏好聚合决策问题的一阶逻辑。 巴西 2016 : 498-503 [第12条] 玛西娅·法里亚斯 , 安娜·特蕾莎·C·马丁斯 , 弗朗西尔伯·马丁斯·费雷拉 :
通过具有关系固定点和捕获结果的逻辑来描述决策问题的复杂性。 LSFA公司 2016 : 113-130 2015 [j8] 亨利克·维亚纳 , Joáo F.L.Alcántara公司 , 安娜·特蕾莎·C·马丁斯 :
在准一致粗略描述逻辑中搜索上下文。 J.布拉兹。 计算。 Soc公司。 21 ( 1 ) : 7 ( 2015 ) 2014 [j7] 弗朗西尔伯·马丁斯·费雷拉 , 西贝尔·马托斯·弗雷尔 , 马里奥·R·F·贝内维提斯 , 路易斯·梅纳施·谢赫特 , 安娜·特蕾莎·C·马丁斯 :
混合逻辑中的多项式层次图属性。 J.计算。 系统。 科学。 80 ( 6 ) : 1087-1101 ( 2014 ) [第11条] 黛博拉·法里亚斯·弗罗塔 , 安娜·特蕾莎·C·马丁斯 , Joáo F.L.Alcántara公司 , 路易斯·恩里克·巴斯塔曼特 :
具有异常的ALC描述默认逻辑-优先。 巴西 2014 : 172-179 2013 [第10条] 亨利克·维亚纳 , Joáo F.L.Alcántara公司 , 安娜·特蕾莎·C·马丁斯 :
在粗略描述逻辑中搜索上下文。 巴西 2013 : 163-168 2012 [j6] 弗朗西尔伯·马丁斯·费雷拉 , 安娜·特蕾莎·C·马丁斯 :
可表达的优先逻辑。 J.日志。 计算。 22 ( 5 ) : 1125-1143 ( 2012 ) 2011 [j5] 弗朗西尔伯·马丁斯·费雷拉 , 安娜·特蕾莎·C·马丁斯 :
基础良好的结构上的递归定义和不动点。 理论。 计算。 科学。 412 ( 37 ) : 4893-4904 ( 2011 ) 【c9】 亨利克·维亚纳 , Joáo F.L.Alcántara公司 , 安娜·特蕾莎·C·马丁斯 :
次一致粗糙描述逻辑。 描述逻辑 2011 【c8】 弗朗西尔伯·马丁斯·费雷拉 , 西贝尔·马托斯·弗雷尔 , 马里奥·R·F·贝内维提斯 , 路易斯·梅纳施·谢赫特 , 安娜·特蕾莎·C·马丁斯 :
混合逻辑与NP图属性。 沃尔利克 2011 : 123-134 2010 【c7】 亨利克·维亚纳 , 蒂亚戈·阿尔夫斯·罗查 , Joáo F.L.Alcántara公司 , 安娜·特蕾莎·C·马丁斯 :
一种可牵引的次协调模糊描述逻辑。 URSW公司 2010 : 101-104 【c6】 西贝尔·马托斯·弗雷尔 , 安娜·特蕾莎·C·马丁斯 :
确定性指数时间层次的描述复杂性。 LSFA公司 2010 : 71-82
2000 – 2009
2009 【j4】 亚历山大·马托斯·阿鲁达 , 安娜·特蕾莎·C·马丁斯 :
用无穷规则对有限最小不动点逻辑进行自然演绎。 日志。 J.IGPL公司 17 ( 5 ) : 531-558 ( 2009 ) 2008 [j3] 安娜·特蕾莎·C·马丁斯 , 利亚·拉马霍·马丁斯 :
弱归一化自然演绎中的完全经典S5。 Ann.纯粹应用。 日志。 152 ( 1-3 ) : 132-147 ( 2008 ) 【c5】 弗朗西尔伯·马丁斯·费雷拉 , 安娜·特蕾莎·C·马丁斯 :
递归定义和固定点。 LSFA公司 2008 : 19-37 2007 [注2] 弗朗西尔伯·马丁斯·费雷拉 , 安娜·特蕾莎·C·马丁斯 :
关于极小模型。 日志。 J.IGPL公司 15 ( 5-6 ) : 503-526 ( 2007 ) 【c4】 亚历山大·马托斯·阿鲁达 , 安娜·特蕾莎·C·马丁斯 :
受限于有限模型的最小定点逻辑的无限系统。 LSFA公司 2007 : 89-104 2006 【c3】 弗朗西尔伯·马丁斯·费雷拉 , 安娜·特蕾莎·C·马丁斯 :
谓词最小化逻辑MIN。 伊贝拉米亚-SBIA 2006 : 582-591 2005 【c2】 安娜·特蕾莎·C·马丁斯 , Lília Ramalho马丁斯 :
弱规范化全S5模态逻辑的自然演绎。 沃尔利克 2005 : 129-140 2004 [j1] 利亚·拉马霍·马丁斯 , 安娜·特蕾莎·C·马丁斯 :
全线性逻辑的自然演绎与弱规范化。 日志。 J.IGPL公司 12 ( 6 ) : 601-625 ( 2004 )
1990 – 1999
1996 [c1] 安娜·特蕾莎·C·马丁斯 , 马塞利诺·佩奎诺 , 塔里西奥·H·C·佩奎诺 :
良好的IDL理论。 SBIA公司 1996 : 11-20