![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
José Maria Turull Torres
Person information
- affiliation: Massey University, New Zealand
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j13]Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres:
Uniform Polylogarithmic Space Completeness. Frontiers Comput. Sci. 4: 845990 (2022) - 2021
- [j12]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: 145-163 (2021) - 2020
- [j11]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): 389-412 (2020) - [c24]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: 90-105 - [i8]Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres:
Completeness in Polylogarithmic Time and Space. CoRR abs/2009.04259 (2020)
2010 – 2019
- 2019
- [c23]Flavio Ferrarotti
, Senén González, José Maria Turull Torres, Jan Van den Bussche
, Jonni Virtema
:
Descriptive Complexity of Deterministic Polylogarithmic Time. WoLLIC 2019: 208-222 - [i7]Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema:
Descriptive Complexity of Deterministic Polylogarithmic Time. CoRR abs/1903.03413 (2019) - [i6]Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres:
Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems. CoRR abs/1911.13104 (2019) - [i5]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 abs/1912.00010 (2019) - 2018
- [c22]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: 204-218 - [c21]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: 92-121 - [c20]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: 133-140 - [i4]Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres:
The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic. CoRR abs/1806.07127 (2018) - 2017
- [c19]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: 125-139 - [i3]Flavio Ferrarotti, Loredana Tec, Jose Maria Turull Torres:
Towards an ASM thesis for reflective sequential algorithms. CoRR abs/1705.10708 (2017) - 2016
- [c18]Flavio Ferrarotti
, Loredana Tec, José Maria Turull Torres:
Towards an ASM Thesis for Reflective Sequential Algorithms. ABZ 2016: 244-249 - [c17]José Maria Turull Torres:
Relational Complexity and Higher Order Logics. FoIKS 2016: 311-333 - [i2]Flavio Ferrarotti, Loredana Tec, José Maria Turull Torres:
On Higher Order Query Languages which on Relational Databases Collapse to Second Order Logic. CoRR abs/1612.03155 (2016) - 2014
- [j10]Flavio Ferrarotti
, Wei Ren, Jose Maria Turull Torres:
Expressing properties in second- and third-order logic: hypercube graphs and SATQBF. Log. J. IGPL 22(2): 355-386 (2014) - 2013
- [i1]Flavio Ferrarotti, Wei Ren, Jose Maria Turull Torres:
Expressing Properties in Second and Third Order Logic: Hypercube Graphs and SATQBF. CoRR abs/1302.5254 (2013) - 2012
- [c16]Alejandro L. Grosso, José M. Turull Torres:
SO F : A Semantic Restriction over Second-Order Logic and Its Polynomial-Time Hierarchy. Conceptual Modelling and Its Theoretical Foundations 2012: 116-135 - 2011
- [c15]Flavio Antonio Ferrarotti, Alejandro L. Grosso, Jose Maria Turull Torres:
Semantic Restrictions over Second-Order Logic. SDKB 2011: 174-197 - 2010
- [j9]Flavio Antonio Ferrarotti, Alejandra Lorena Paoletti, Jose Maria Turull Torres:
Redundant Relations in Relational Databases: A Model Theoretic Perspective. J. Univers. Comput. Sci. 16(20): 2934-2955 (2010) - [c14]Alejandro L. Grosso, Jose Maria Turull Torres:
A Second-Order Logic in Which Variables Range over Relations with Complete First-Order Types. SCCC 2010: 270-279
2000 – 2009
- 2009
- [c13]Flavio Antonio Ferrarotti
, Alejandra Lorena Paoletti, José M. Turull Torres:
First-Order Types and Redundant Relations in Relational Databases. ER Workshops 2009: 65-74 - 2008
- [c12]Flavio Antonio Ferrarotti, Jose Maria Turull Torres:
The Relational Polynomial-Time Hierarchy and Second-Order Logic. SDKB 2008: 48-76 - 2007
- [j8]Flavio Antonio Ferrarotti
, Jose Maria Turull Torres:
Arity and alternation: a proper hierarchy in higher order logics. Ann. Math. Artif. Intell. 50(1-2): 111-141 (2007) - [j7]Michal Krynicki, Jose Maria Turull Torres:
Games on Trees and Syntactical Complexity of Formulas. Log. J. IGPL 15(5-6): 653-687 (2007) - 2006
- [j6]Jose Maria Turull Torres:
Relational Databases and Homogeneity in Logics with Counting. Acta Cybern. 17(3): 485-511 (2006) - [j5]Lauri Hella
, Jose Maria Turull Torres:
Computing queries with higher-order logics. Theor. Comput. Sci. 355(2): 197-214 (2006) - [c11]Lauri Hella, Jose Maria Turull Torres:
Complete Problems for Higher Order Logics. CSL 2006: 380-394 - [c10]Flavio Antonio Ferrarotti
, Jose Maria Turull Torres:
Arity and Alternation: A Proper Hierarchy in Higher Order Logics. FoIKS 2006: 92-115 - 2005
- [j4]Klaus-Dieter Schewe, Jose Maria Turull Torres:
A Theory of Local Set Queries. Log. J. IGPL 13(1): 47-68 (2005) - [c9]Klaus-Dieter Schewe, Jose Maria Turull Torres:
Fixed-Point Quantifiers in Higher Order Logics. EJC 2005: 237-244 - 2004
- [j3]Jose Maria Turull Torres:
Erratum for: A Study of Homogeneity in Relational Databases [Annals of Mathematics and Artificial Intelligence 33(2) (2001) 379-414]. Ann. Math. Artif. Intell. 42(4): 443-444 (2004) - [c8]Flavio Antonio Ferrarotti, Jose Maria Turull Torres:
On the Computation of Approximations of Database Queries. ADC 2004: 27-37 - [e1]Dietmar Seipel, Jose Maria Turull Torres:
Foundations of Information and Knowledge Systems, Third International Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20, 2004, Proceedings. Lecture Notes in Computer Science 2942, Springer 2004, ISBN 3-540-20965-4 [contents] - 2003
- [c7]Lauri Hella
, Jose Maria Turull Torres:
Expressibility of Higher Order Logics. WoLLIC 2003: 129-140 - 2002
- [c6]Jose Maria Turull Torres:
Relational Databases and Homogeneity in Logics with Counting. FoIKS 2002: 212-229 - [c5]Klaus-Dieter Schewe, Jose Maria Turull Torres:
Computable Queries for Object Oriented Databases. WoLLIC 2002: 296-312 - 2001
- [j2]Jose Maria Turull Torres:
A study of homogeneity in relational databases. Ann. Math. Artif. Intell. 33(2-4): 379-414 (2001) - [j1]Jose Maria Turull Torres:
On the expressibility and the computability of untyped queries. Ann. Pure Appl. Log. 108(1-3): 345-371 (2001) - [c4]Jose Maria Turull Torres:
Semantic Classifications of Queries to Relational Databases. Semantics in Databases 2001: 200-228 - 2000
- [c3]Jose Maria Turull Torres:
Reflective Relational Machines Working on Homogeneous Databases. FoIKS 2000: 288-303
1990 – 1999
- 1999
- [c2]Jose Maria Turull Torres:
Reflective Relational Machines of Bounded Variable Complexity. ADBIS (Short Papers) 1999: 193-199 - 1998
- [c1]Jose Maria Turull Torres:
Untyped Queries, Untyped Reflective Machines and Conditional Quantifiers. ADBIS 1998: 35-45
Coauthor Index
aka: Flavio Antonio Ferrarotti
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint