Computing queries with higher-order logics L Hella, JM Turull-Torres Theoretical Computer Science 355 (2), 197-214, 2006 | 25 | 2006 |
A study of homogeneity in relational databases JM Turull Torres Annals of Mathematics and Artificial Intelligence 33, 379-414, 2001 | 16 | 2001 |
Expressibility of higher order logics L Hella, JM Turull-Torres Electronic Notes in Theoretical Computer Science 84, 129-140, 2003 | 14 | 2003 |
A second-order logic in which variables range over relations with complete first-order types AL Grosso, JM Turull-Torres 2010 XXIX International Conference of the Chilean Computer Science Society …, 2010 | 9 | 2010 |
The relational polynomial-time hierarchy and second-order logic FA Ferrarotti, JM Turull Torres Semantics in Data and Knowledge Bases: Third International Workshop, SDKB …, 2008 | 9 | 2008 |
The polylog-time hierarchy captured by restricted second-order logic F Ferrarotti, S González, KD Schewe, JM Turull-Torres 2018 20th International Symposium on Symbolic and Numeric Algorithms for …, 2018 | 7 | 2018 |
Clases de Bases de Datos L-Rígidas y Expresividad de Lenguajes Relacionales Incompletos JM Turull Torres Tesis Doctoral, UNSL, 1996 | 7 | 1996 |
Query completeness, distinguishability and relational machines JMT Torres Models, Algebras, and Proofs, 135-163, 2021 | 6 | 2021 |
Descriptive complexity of deterministic polylogarithmic time F Ferrarotti, S González, JM Turull Torres, J Van den Bussche, J Virtema International Workshop on Logic, Language, Information, and Computation, 208-222, 2019 | 5 | 2019 |
The existential fragment of third order logic and third order relational machines J Arroyuelo, JM Turull Torres XX Congreso Argentino de Ciencias de la Computación (Buenos Aires, 2014), 2014 | 5 | 2014 |
A restricted second-order logic for non-deterministic poly-logarithmic time F Ferrarotti, SÉ GonzÁles, KD Schewe, JÉMÍ Turull-Torres Logic Journal of the IGPL 28 (3), 389-412, 2020 | 4 | 2020 |
On fragments of higher order logics that on finite structures collapse to second order F Ferrarotti, S González, JM Turull-Torres Logic, Language, Information, and Computation: 24th International Workshop …, 2017 | 4 | 2017 |
Arity and alternation: a proper hierarchy in higher order logics FA Ferrarotti, JM Turull Torres Annals of Mathematics and Artificial Intelligence 50 (1), 111-141, 2007 | 4 | 2007 |
Games on Trees and Syntactical Complexity of Formulas MKJMT Torres Logic Journal of the IGPL 15 (5-6), 653-687, 2007 | 4* | 2007 |
Untyped queries, untyped reflective machines and conditional quantifiers JM Turull Torres East European Symposium on Advances in Databases and Information Systems, 35-45, 1998 | 4 | 1998 |
Systematic refinement of abstract state machines with higher-order logic F Ferrarotti, S González, KD Schewe, JM Turull-Torres International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2018 | 3 | 2018 |
First-order types and redundant relations in relational databases FA Ferrarotti, AL Paoletti, JM Turull Torres Advances in Conceptual Modeling-Challenging Perspectives: ER 2009 Workshops …, 2009 | 3 | 2009 |
Proper hierarchies in polylogarithmic time and absence of complete problems F Ferrarotti, S González, KD Schewe, JM Turull-Torres International Symposium on Foundations of Information and Knowledge Systems …, 2020 | 2 | 2020 |
Semantic restrictions over second-order logic FA Ferrarotti, AL Grosso, JM Turull-Torres International Workshop on Semantics in Data and Knowledge Bases, 174-197, 2011 | 2 | 2011 |
Complete problems for higher order logics L Hella, JM Turull-Torres International Workshop on Computer Science Logic, 380-394, 2006 | 2 | 2006 |