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
SO F : A Semantic Restriction over Second-Order Logic and Its Polynomial-Time Hierarchy	2012-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q3086725	2011-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q3075228	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jose Maria Turull Torres