Jose Maria Turull Torres

Available identifiers

zbMath Open turull-torres.jose-mariaMaRDI QIDQ186060

List of research outcomes

Publication	Date of Publication	Type
Systematic Refinement of Abstract State Machines with Higher-Order Logic	2023-03-10	Paper
A restricted second-order logic for non-deterministic poly-logarithmic time	2022-06-16	Paper
Descriptive complexity of deterministic polylogarithmic time and space	2021-04-14	Paper
Proper hierarchies in polylogarithmic time and absence of complete problems	2020-10-26	Paper
Descriptive complexity of deterministic polylogarithmic time	2020-03-04	Paper
On fragments of higher order logics that on finite structures collapse to second order	2017-12-20	Paper
Relational Complexity and Higher Order Logics	2016-05-19	Paper
Semantic Restrictions over Second-Order Logic	2015-12-08	Paper
A study of homogeneity in relational databases	2015-06-17	Paper
Expressing properties in second- and third-order logic: hypercube graphs and SATQBF	2015-02-27	Paper
Expressibility of higher order logics	2013-06-06	Paper
Computable queries for object oriented databases	2013-04-19	Paper
\(\mathrm{SO}^F\): a semantic restriction over second-order logic and its polynomial-time hierarchy	2012-03-09	Paper
The complexity of \(\mathit{AUTOSAT}(\Sigma^i_m)\)	2011-03-30	Paper
Redundant relations in relational databases: a model theoretic perspective	2011-02-10	Paper
Complete Problems for Higher Order Logics	2009-03-12	Paper
The Relational Polynomial-Time Hierarchy and Second-Order Logic	2009-01-22	Paper
Games on Trees and Syntactical Complexity of Formulas	2008-01-18	Paper
Arity and alternation: a proper hierarchy in higher order logics	2007-10-12	Paper
Foundations of Information and Knowledge Systems	2007-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q5491513	2006-10-05	Paper
Computing queries with higher-order logics	2006-04-28	Paper
A Theory of Local Set Queries	2005-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4472219	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4413451	2003-07-20	Paper
On the expressibility and the computability of untyped queries	2001-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q4504014	2001-05-20	Paper
https://portal.mardi4nfdi.de/entity/Q4699344	1999-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4249026	1999-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q4233479	1999-03-18	Paper
The Space Complexity of Elimination Theory: Upper Bounds	1997-05-12	Paper

Research outcomes over time

This page was built for person: Jose Maria Turull Torres