José Maria Turull Torres

17 papers C 4Misc 1Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2022 J jnl
Uniform Polylogarithmic Space Completeness.
Frontiers Comput. Sci.
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
2021 J jnl
Descriptive complexity of deterministic polylogarithmic time and space.
J. Comput. Syst. Sci.
Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema
2020 J jnl
A restricted second-order logic for non-deterministic poly-logarithmic time.
Log. J. IGPL
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
2020 J jnl
Completeness in Polylogarithmic Time and Space.
CoRR
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
2020 — conf
Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems.
FoIKS
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
2019 J jnl
A Restricted Second-Order Logic for Non-deterministic Poly-Logarithmic Time.
CoRR
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
2019 C conf
Descriptive Complexity of Deterministic Polylogarithmic Time.
WoLLIC
Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema
2019 J jnl
Descriptive Complexity of Deterministic Polylogarithmic Time.
CoRR
Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema
2019 J jnl
Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems.
CoRR
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
2018 — conf
Polynomially Bounded Valuations in Higher-Order Logics over Relational Databases.
Models: Concepts, Theory, Logic, Reasoning and Semantics
Flavio Ferrarotti, Loredana Tec, José Maria Turull Torres
2018 C conf
Systematic Refinement of Abstract State Machines with Higher-Order Logic.
ABZ
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
2018 Misc conf
The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic.
SYNASC
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
2018 J jnl
The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic.
CoRR
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
2017 C conf
On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order.
WoLLIC
Flavio Ferrarotti, Senén González, José Maria Turull Torres
2016 J jnl
On Higher Order Query Languages which on Relational Databases Collapse to Second Order Logic.
CoRR
Flavio Ferrarotti, Loredana Tec, José Maria Turull Torres
2016 — conf
Relational Complexity and Higher Order Logics.
FoIKS
José Maria Turull Torres
2016 C conf
Towards an ASM Thesis for Reflective Sequential Algorithms.
ABZ
Flavio Ferrarotti, Loredana Tec, José Maria Turull Torres