Jose Maria Turull Torres

Publication Activity (10 Years)

Years Active: 1998-2017
Publications (10 Years): 1

Top Topics

Algebraic Structures

Mathematical Foundations

Multiresolution

Top Venues

Publications

Flavio Ferrarotti, Loredana Tec, Jose Maria Turull Torres
Towards an ASM thesis for reflective sequential algorithms. CoRR (2017)
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) (2014)
Flavio Ferrarotti, Wei Ren, Jose Maria Turull Torres
Expressing Properties in Second and Third Order Logic: Hypercube Graphs and SATQBF CoRR (2013)
Flavio Antonio Ferrarotti, Alejandro L. Grosso, Jose Maria Turull Torres
Semantic Restrictions over Second-Order Logic. SDKB (2011)
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) (2010)
Alejandro L. Grosso, Jose Maria Turull Torres
A Second-Order Logic in Which Variables Range over Relations with Complete First-Order Types. SCCC (2010)
Flavio Antonio Ferrarotti, Jose Maria Turull Torres
The Relational Polynomial-Time Hierarchy and Second-Order Logic. SDKB (2008)
Flavio Antonio Ferrarotti, Jose Maria Turull Torres
Arity and alternation: a proper hierarchy in higher order logics. Ann. Math. Artif. Intell. 50 (1-2) (2007)
Michal Krynicki, Jose Maria Turull Torres
Games on Trees and Syntactical Complexity of Formulas. Log. J. IGPL 15 (5-6) (2007)
Lauri Hella, Jose Maria Turull Torres
Computing queries with higher-order logics. Theor. Comput. Sci. 355 (2) (2006)
Lauri Hella, Jose Maria Turull Torres
Complete Problems for Higher Order Logics. CSL (2006)
Jose Maria Turull Torres
Relational Databases and Homogeneity in Logics with Counting. Acta Cybern. 17 (3) (2006)
Flavio Antonio Ferrarotti, Jose Maria Turull Torres
Arity and Alternation: A Proper Hierarchy in Higher Order Logics. FoIKS (2006)
Klaus-Dieter Schewe, Jose Maria Turull Torres
A Theory of Local Set Queries. Log. J. IGPL 13 (1) (2005)
Klaus-Dieter Schewe, Jose Maria Turull Torres
Fixed-Point Quantifiers in Higher Order Logics. EJC (2005)
Flavio Antonio Ferrarotti, Jose Maria Turull Torres
On the Computation of Approximations of Database Queries. ADC (2004)
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) (2004)
Lauri Hella, Jose Maria Turull Torres
Expressibility of Higher Order Logics. Electron. Notes Theor. Comput. Sci. 84 (2003)
Klaus-Dieter Schewe, Jose Maria Turull Torres
Computable Queries for Object Oriented Databases. Electron. Notes Theor. Comput. Sci. 67 (2002)
Jose Maria Turull Torres
Relational Databases and Homogeneity in Logics with Counting. FoIKS (2002)
Jose Maria Turull Torres
A study of homogeneity in relational databases. Ann. Math. Artif. Intell. 33 (2-4) (2001)
Jose Maria Turull Torres
Semantic Classifications of Queries to Relational Databases. Semantics in Databases (2001)
Jose Maria Turull Torres
On the expressibility and the computability of untyped queries. Ann. Pure Appl. Log. 108 (1-3) (2001)
Jose Maria Turull Torres
Reflective Relational Machines Working on Homogeneous Databases. FoIKS (2000)
Jose Maria Turull Torres
Reflective Relational Machines of Bounded Variable Complexity. ADBIS (Short Papers) (1999)
Jose Maria Turull Torres
Untyped Queries, Untyped Reflective Machines and Conditional Quantifiers. ADBIS (1998)