José Maria Turull Torres

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 17

Top Topics

Higher Order Logic

Polynomially Bounded

Hierarchically Organized

Top Venues

Publications

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