Jose Maria Turull Torres

27 papers B 1C 4Misc 1Journal 12Unranked 8
YearRankTypeTitle / Venue / Authors
2017 J jnl
Towards an ASM thesis for reflective sequential algorithms.
CoRR
Flavio Ferrarotti, Loredana Tec, Jose Maria Turull Torres
2014 J jnl
Expressing properties in second- and third-order logic: hypercube graphs and SATQBF.
Log. J. IGPL
Flavio Ferrarotti, Wei Ren, Jose Maria Turull Torres
2013 J jnl
Expressing Properties in Second and Third Order Logic: Hypercube Graphs and SATQBF
CoRR
Flavio Ferrarotti, Wei Ren, Jose Maria Turull Torres
2011 — conf
Semantic Restrictions over Second-Order Logic.
SDKB
Flavio Antonio Ferrarotti, Alejandro L. Grosso, Jose Maria Turull Torres
2010 — conf
A Second-Order Logic in Which Variables Range over Relations with Complete First-Order Types.
SCCC
Alejandro L. Grosso, Jose Maria Turull Torres
2010 J jnl
Redundant Relations in Relational Databases: A Model Theoretic Perspective.
J. Univers. Comput. Sci.
Flavio Antonio Ferrarotti, Alejandra Lorena Paoletti, Jose Maria Turull Torres
2008 — conf
The Relational Polynomial-Time Hierarchy and Second-Order Logic.
SDKB
Flavio Antonio Ferrarotti, Jose Maria Turull Torres
2007 J jnl
Arity and alternation: a proper hierarchy in higher order logics.
Ann. Math. Artif. Intell.
Flavio Antonio Ferrarotti, Jose Maria Turull Torres
2007 J jnl
Games on Trees and Syntactical Complexity of Formulas.
Log. J. IGPL
Michal Krynicki, Jose Maria Turull Torres
2006 — conf
Arity and Alternation: A Proper Hierarchy in Higher Order Logics.
FoIKS
Flavio Antonio Ferrarotti, Jose Maria Turull Torres
2006 B conf
Complete Problems for Higher Order Logics.
CSL
Lauri Hella, Jose Maria Turull Torres
2006 J jnl
Computing queries with higher-order logics.
Theor. Comput. Sci.
Lauri Hella, Jose Maria Turull Torres
2006 J jnl
Relational Databases and Homogeneity in Logics with Counting.
Acta Cybern.
Jose Maria Turull Torres
2005 J jnl
A Theory of Local Set Queries.
Log. J. IGPL
Klaus-Dieter Schewe, Jose Maria Turull Torres
2005 C conf
Fixed-Point Quantifiers in Higher Order Logics.
EJC
Klaus-Dieter Schewe, Jose Maria Turull Torres
2004 J jnl
Erratum for: A Study of Homogeneity in Relational Databases [Annals of Mathematics and Artificial Intelligence 33(2) (2001) 379-414].
Ann. Math. Artif. Intell.
Jose Maria Turull Torres
2004 — ed.
Foundations of Information and Knowledge Systems, Third International Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20, 2004, Proceedings
FoIKS
Dietmar Seipel, Jose Maria Turull Torres
2004 Misc conf
On the Computation of Approximations of Database Queries.
ADC
Flavio Antonio Ferrarotti, Jose Maria Turull Torres
2003 C conf
Expressibility of Higher Order Logics.
WoLLIC
Lauri Hella, Jose Maria Turull Torres
2002 C conf
Computable Queries for Object Oriented Databases.
WoLLIC
Klaus-Dieter Schewe, Jose Maria Turull Torres
2002 — conf
Relational Databases and Homogeneity in Logics with Counting.
FoIKS
Jose Maria Turull Torres
2001 J jnl
A study of homogeneity in relational databases.
Ann. Math. Artif. Intell.
Jose Maria Turull Torres
2001 J jnl
On the expressibility and the computability of untyped queries.
Ann. Pure Appl. Log.
Jose Maria Turull Torres
2001 — conf
Semantic Classifications of Queries to Relational Databases.
Semantics in Databases
Jose Maria Turull Torres
2000 — conf
Reflective Relational Machines Working on Homogeneous Databases.
FoIKS
Jose Maria Turull Torres
1999 — conf
Reflective Relational Machines of Bounded Variable Complexity.
ADBIS (Short Papers)
Jose Maria Turull Torres
1998 C conf
Untyped Queries, Untyped Reflective Machines and Conditional Quantifiers.
ADBIS
Jose Maria Turull Torres