| 2008 |
|---|
| 21 | EE | Flavio Antonio Ferrarotti,
Jose Maria Turull Torres:
The Relational Polynomial-Time Hierarchy and Second-Order Logic.
SDKB 2008: 48-76 |
| 2007 |
|---|
| 20 | EE | 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) |
| 19 | EE | Michal Krynicki,
Jose Maria Turull Torres:
Games on Trees and Syntactical Complexity of Formulas.
Logic Journal of the IGPL 15(5-6): 653-687 (2007) |
| 2006 |
|---|
| 18 | EE | Lauri Hella,
Jose Maria Turull Torres:
Complete Problems for Higher Order Logics.
CSL 2006: 380-394 |
| 17 | EE | Flavio Antonio Ferrarotti,
Jose Maria Turull Torres:
Arity and Alternation: A Proper Hierarchy in Higher Order Logics.
FoIKS 2006: 92-115 |
| 16 | EE | Jose Maria Turull Torres:
Relational Databases and Homogeneity in Logics with Counting.
Acta Cybern. 17(3): (2006) |
| 15 | EE | Lauri Hella,
Jose Maria Turull Torres:
Computing queries with higher-order logics.
Theor. Comput. Sci. 355(2): 197-214 (2006) |
| 2005 |
|---|
| 14 | | Klaus-Dieter Schewe,
Jose Maria Turull Torres:
Fixed-Point Quantifiers in Higher Order Logics.
EJC 2005: 237-244 |
| 13 | EE | Klaus-Dieter Schewe,
Jose Maria Turull Torres:
A Theory of Local Set Queries.
Logic Journal of the IGPL 13(1): 47-68 (2005) |
| 2004 |
|---|
| 12 | | Dietmar Seipel,
Jose Maria Turull Torres:
Foundations of Information and Knowledge Systems, Third International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings
Springer 2004 |
| 11 | EE | Flavio Antonio Ferrarotti,
Jose Maria Turull Torres:
On the Computation of Approximations of Database Queries.
ADC 2004: 27-37 |
| 10 | EE | 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) |
| 2003 |
|---|
| 9 | EE | Lauri Hella,
Jose Maria Turull Torres:
Expressibility of Higher Order Logics.
Electr. Notes Theor. Comput. Sci. 84: (2003) |
| 2002 |
|---|
| 8 | EE | Jose Maria Turull Torres:
Relational Databases and Homogeneity in Logics with Counting.
FoIKS 2002: 212-229 |
| 7 | EE | Klaus-Dieter Schewe,
Jose Maria Turull Torres:
Computable Queries for Object Oriented Databases.
Electr. Notes Theor. Comput. Sci. 67: (2002) |
| 2001 |
|---|
| 6 | EE | Jose Maria Turull Torres:
Semantic Classifications of Queries to Relational Databases.
Semantics in Databases 2001: 200-228 |
| 5 | | Jose Maria Turull Torres:
A study of homogeneity in relational databases.
Ann. Math. Artif. Intell. 33(2-4): 379-414 (2001) |
| 4 | | Jose Maria Turull Torres:
On the expressibility and the computability of untyped queries.
Ann. Pure Appl. Logic 108(1-3): 345-371 (2001) |
| 2000 |
|---|
| 3 | EE | Jose Maria Turull Torres:
Reflective Relational Machines Working on Homogeneous Databases.
FoIKS 2000: 288-303 |
| 1999 |
|---|
| 2 | EE | Jose Maria Turull Torres:
Reflective Relational Machines of Bounded Variable Complexity.
ADBIS (Short Papers) 1999: 193-199 |
| 1998 |
|---|
| 1 | EE | Jose Maria Turull Torres:
Untyped Queries, Untyped Reflective Machines and Conditional Quantifiers.
ADBIS 1998: 35-45 |
