何塞·玛丽亚·图鲁尔·托雷斯
人员信息
附属: 新西兰梅西大学
优化列表
2020年–今天
2022 [j13] 弗拉维奥·费拉罗蒂 , 塞恩·冈萨雷斯 , 克劳斯·迪特尔·斯奎 , 何塞·玛丽亚·图鲁尔·托雷斯 :
一致多对数空间完备性。 前沿计算。 科学。 4 : 845990 ( 2022 ) 2021 [公元12年] 弗拉维奥·费拉罗蒂 , 塞恩·冈萨雷斯 , 何塞·玛丽亚·图鲁尔·托雷斯 , 简·范登·布什 , 乔尼·维特马 :
确定性多对数时间和空间的描述复杂性。 J.计算。 系统。 科学。 119 : 145至163 ( 2021 ) 2020 [公元11年] 弗拉维奥·费拉罗蒂 , 塞恩·冈萨雷斯 , 克劳斯·迪特尔·斯奎 , 何塞·玛丽亚·图鲁尔·托雷斯 :
一种用于非确定性多算术时间的受限二阶逻辑。 日志。 J.IGPL公司 28 ( 3 ) : 389-412 ( 2020 ) [公元24年] 弗拉维奥·费拉罗蒂 , 塞恩·冈萨雷斯 , 克劳斯·迪特尔·斯奎 , 何塞·玛丽亚·图鲁尔·托雷斯 :
多对数时间的适当层次结构和完全问题的缺失。 FoIKS公司 2020 : 90-105 [i8] 弗拉维奥·费拉罗蒂 , 塞恩·冈萨雷斯 , 克劳斯·迪特尔·斯奎 , 何塞·玛丽亚·图鲁尔·托雷斯 :
多对数时间和空间的完备性。 CoRR公司 abs/2009.04259 ( 2020 )
2010 – 2019
2019 【c23】 弗拉维奥·费拉罗蒂 , 塞恩·冈萨雷斯 , 何塞·玛丽亚·图鲁尔·托雷斯 , 简·范登·巴斯彻(Jan Van den Bussche) , 乔尼·维特马 :
确定性多对数时间的描述复杂性。 沃尔利克 2019 : 208-222 [i7] 弗拉维奥·费拉罗蒂 , 塞恩·冈萨雷斯 , 何塞·玛丽亚·图鲁尔·托雷斯 , 简·范登·巴斯彻(Jan Van den Bussche) , 乔尼·维特马 :
确定性多对数时间的描述复杂性。 CoRR公司 abs/1903.03413 ( 2019 ) [i6] 弗拉维奥·费拉罗蒂 , 塞恩·冈萨雷斯 , 克劳斯·迪特尔·斯奎 , 何塞·玛丽亚·图鲁尔·托雷斯 :
多对数时间的适当层次结构和完全问题的缺失。 CoRR公司 abs/1911.13104 ( 2019 ) [i5] 弗拉维奥·费拉罗蒂 , 塞恩·冈萨雷斯 , 克劳斯·迪特尔·斯奎 , 何塞·玛丽亚·图鲁尔·托雷斯 :
一种用于非确定多对数时间的受限二阶逻辑。 CoRR公司 abs/1912.00010 ( 2019 ) 2018 [公元22年] 弗拉维奥·费拉罗蒂 , 塞恩·冈萨雷斯 , 克劳斯·迪特尔·斯奎 , 何塞·玛丽亚·图鲁尔·托雷斯 :
具有高阶逻辑的抽象状态机的系统精化。 ABZ公司 2018 : 204-218 【c21】 弗拉维奥·费拉罗蒂 , Loredana Tec公司 , 何塞·玛丽亚·图鲁尔·托雷斯 :
关系数据库上高阶逻辑中的多项式有界估值。 模型:概念、理论、逻辑、推理和语义 2018 : 92-121 [公元20年] 弗拉维奥·费拉罗蒂 , 塞恩·冈萨雷斯 , 克劳斯·迪特尔·斯奎 , 何塞·玛丽亚·图鲁尔·托雷斯 :
受限二阶逻辑捕获的多段时间层次结构。 SYNASC公司 2018 : 133-140 [i4] 弗拉维奥·费拉罗蒂 , 塞恩·冈萨雷斯 , 克劳斯·迪特尔·斯奎 , 何塞·玛丽亚·图鲁尔·托雷斯 :
受限二阶逻辑捕获的多段时间层次结构。 CoRR公司 腹肌/1806.07127 ( 2018 ) 2017 [第19条] 弗拉维奥·费拉罗蒂 , 塞恩·冈萨雷斯 , 何塞·玛丽亚·图鲁尔·托雷斯 :
有限结构上的高阶逻辑碎片坍塌为二阶。 沃尔利克 2017 : 125-139 [i3] 弗拉维奥·费拉罗蒂 , Loredana Tec公司 , 何塞·玛丽亚·图鲁尔·托雷斯 :
针对反射序列算法的ASM论文。 CoRR公司 abs/1705.10708 ( 2017 ) 2016 [第18条] 弗拉维奥·费拉罗蒂 , Loredana技术公司 , 何塞·玛丽亚·图鲁尔·托雷斯 :
关于反射序列算法的ASM论文。 ABZ公司 2016 : 244-249 [第17条] 何塞·玛丽亚·图鲁尔·托雷斯 :
关系复杂性与高阶逻辑。 FoIKS公司 2016 : 311-333 [i2] 弗拉维奥·费拉罗蒂 , Loredana Tec公司 , 何塞·玛丽亚·图鲁尔·托雷斯 :
关系数据库上的高阶查询语言崩溃为二阶逻辑。 CoRR公司 abs/1612.03155 ( 2016 ) 2014 [公元10年] 弗拉维奥·费拉罗蒂 , 魏仁 , 何塞·玛丽亚·图鲁尔·托雷斯 :
二阶和三阶逻辑的表示性质:超立方体图和SATQBF。 日志。 J.IGPL公司 22 ( 2 ) : 355-386 ( 2014 ) 2013 [i1] 弗拉维奥·费拉罗蒂 , 魏仁 , 何塞·玛丽亚·图鲁尔·托雷斯 :
用二阶和三阶逻辑表示属性:超立方体图和SATQBF。 CoRR公司 abs/1302.5254 ( 2013 ) 2012 [第16条] 亚历杭德罗·格罗索 , 何塞·M·图鲁尔·托雷斯 :
SOF:二阶逻辑及其多项式时间层次的语义限制。 概念建模及其理论基础 2012 : 116-135 2011 [第15条] 弗拉维奥·安东尼奥·费拉罗蒂 , 亚历杭德罗·格罗索 , 何塞·玛丽亚·图鲁尔·托雷斯 :
二阶逻辑的语义限制。 SDKB软件 2011 : 174-197 2010 [公元9年] 弗拉维奥·安东尼奥·费拉罗蒂 , 亚历杭德拉·洛伦娜·保莱蒂 , 何塞·玛丽亚·图鲁尔·托雷斯 :
关系数据库中的冗余关系:模型理论的观点。 J.大学。 计算。 科学。 16 ( 20 ) : 2934-2955 ( 2010 ) [第14条] 亚历杭德罗·格罗索 , 何塞·玛丽亚·图鲁尔·托雷斯 :
一种二阶逻辑,其中变量的范围超过与完整一阶类型的关系。 SCCC公司 2010 : 270-279
2000 – 2009
2009 [第13条] 弗拉维奥·安东尼奥·费拉罗蒂 , 亚历杭德拉·洛伦娜·保莱蒂 , 何塞·M·图鲁尔·托雷斯 :
关系数据库中的一阶类型和冗余关系。 ER研讨会 2009 : 65-74 2008 [第12条] 弗拉维奥·安东尼奥·费拉罗蒂 , 何塞·玛丽亚·图鲁尔·托雷斯 :
关系多项式时间层次和二阶逻辑。 SDKB软件 2008 : 48-76 2007 [j8] 弗拉维奥·安东尼奥·费拉罗蒂 , 何塞·玛丽亚·图鲁尔·托雷斯 :
重复与交替:高阶逻辑中的一个适当层次。 安。数学。 工件。 智力。 50 ( 1-2 ) : 111-141 ( 2007 ) [j7] Michal Krynicki , 何塞·玛丽亚·图鲁尔·托雷斯 :
树上的游戏和公式的语法复杂性。 日志。 J.IGPL公司 15 ( 5-6 ) : 653-687 ( 2007 ) 2006 [j6] 何塞·玛丽亚·图鲁尔·托雷斯 :
带计数的逻辑中的关系数据库和同质性。 《网络学报》。 17 ( 3 ) : 485-511 ( 2006 ) [j5] 劳里·海拉 , 何塞·玛丽亚·图鲁尔·托雷斯 :
使用高阶逻辑计算查询。 西奥。 计算。 科学。 355 ( 2 ) : 197-214 ( 2006 ) [第11条] 劳里·海拉 , 何塞·玛丽亚·图鲁尔·托雷斯 :
高阶逻辑的完整问题。 CSL公司 2006 : 380-394 [第10条] 弗拉维奥·安东尼奥·费拉罗蒂 , 何塞·玛丽亚·图鲁尔·托雷斯 :
Arity和Alternation:高阶逻辑中的适当层次。 FoIKS公司 2006 : 92-115 2005 【j4】 克劳斯·迪特尔·斯奎 , 何塞·玛丽亚·图鲁尔·托雷斯 :
局部集查询理论。 日志。 J.IGPL公司 13 ( 1 ) : 47-68 ( 2005 ) 【c9】 克劳斯·迪特尔·斯奎 , 何塞·玛丽亚·图鲁尔·托雷斯 :
高阶逻辑中的定点量词。 EJC公司 2005 : 237-244年 2004 [j3] 何塞·玛丽亚·图鲁尔·托雷斯 :
勘误表:关系数据库中的同质性研究[Annals of Mathematics and Artificial Intelligence 33(2)(2001)379-414]。 安。数学。 工件。 智力。 42 ( 4 ) : 443-444 ( 2004 ) 【c8】 弗拉维奥·安东尼奥·费拉罗蒂 , 何塞·玛丽亚·图鲁尔·托雷斯 :
关于数据库查询近似值的计算。 模数转换器 2004 : 27-37 [电子1] 迪特马尔·塞佩尔 , 何塞·玛丽亚·图鲁尔·托雷斯 :
信息和知识系统基础,第三届国际研讨会,FoIKS 2004,Wilhelminenberg Castle,Austria,2004年2月17日至20日,会议记录。 计算机科学课堂讲稿 2942, 施普林格 2004 ,国际标准图书编号 3-540-20965-4 [目录] 2003 【c7】 劳里·海拉 , 何塞·玛丽亚·图鲁尔·托雷斯 :
高阶逻辑的可表达性。 沃尔利克 2003 : 129-140 2002 【c6】 何塞·玛丽亚·图鲁尔·托雷斯 :
带计数的逻辑中的关系数据库和同质性。 FoIKS公司 2002 : 212-229 【c5】 克劳斯·迪特尔·舍韦 , 何塞·玛丽亚·图鲁尔·托雷斯 :
面向对象数据库的可计算查询。 沃尔利克 2002 : 296-312 2001 [注2] 何塞·玛丽亚·图鲁尔·托雷斯 :
关系数据库中同质性的研究。 安。数学。 工件。 智力。 33 ( 2-4 ) : 379-414 ( 2001 ) [j1] 何塞·玛丽亚·图鲁尔·托雷斯 :
关于非类型化查询的可表达性和可计算性。 Ann.纯粹应用。 日志。 108 ( 1-3 ) : 345-371 ( 2001 ) 【c4】 何塞·玛丽亚·图鲁尔·托雷斯 :
关系数据库查询的语义分类。 数据库中的语义 2001 : 200-228 2000 【c3】 何塞·玛丽亚·图鲁尔·托雷斯 :
在同构数据库上工作的反射关系机器。 FoIKS公司 2000 : 288年至303年
1990 – 1999
1999 【c2】 何塞·玛丽亚·图鲁尔·托雷斯 :
有界变量复杂性的反射关系机。 ADBIS(短文) 1999 : 193-199 1998 【c1】 何塞·玛丽亚·图鲁尔·托雷斯 :
无类型查询、无类型反射机器和条件量词。 亚的斯亚贝巴 1998 : 35-45