Search the dblp DataBase
Jose Maria Turull Torres :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jose Maria Turull Torres Untyped Queries, Untyped Reflective Machines and Conditional Quantifiers. [Citation Graph (0, 7)][DBLP ] ADBIS, 1998, pp:35-45 [Conf ] Jose Maria Turull Torres Reflective Relational Machines of Bounded Variable Complexity. [Citation Graph (0, 6)][DBLP ] ADBIS (Short Papers), 1999, pp:193-199 [Conf ] Flavio Antonio Ferrarotti , Jose Maria Turull Torres On the Computation of Approximations of Database Queries. [Citation Graph (0, 0)][DBLP ] ADC, 2004, pp:27-37 [Conf ] Lauri Hella , Jose Maria Turull Torres Complete Problems for Higher Order Logics. [Citation Graph (0, 0)][DBLP ] CSL, 2006, pp:380-394 [Conf ] Flavio Antonio Ferrarotti , Jose Maria Turull Torres Arity and Alternation: A Proper Hierarchy in Higher Order Logics. [Citation Graph (0, 0)][DBLP ] FoIKS, 2006, pp:92-115 [Conf ] Jose Maria Turull Torres Reflective Relational Machines Working on Homogeneous Databases. [Citation Graph (0, 0)][DBLP ] FoIKS, 2000, pp:288-303 [Conf ] Jose Maria Turull Torres Relational Databases and Homogeneity in Logics with Counting. [Citation Graph (0, 0)][DBLP ] FoIKS, 2002, pp:212-229 [Conf ] Jose Maria Turull Torres Semantic Classifications of Queries to Relational Databases. [Citation Graph (0, 0)][DBLP ] Semantics in Databases, 2001, pp:200-228 [Conf ] Jose Maria Turull Torres Relational Databases and Homogeneity in Logics with Counting. [Citation Graph (0, 0)][DBLP ] Acta Cybern., 2006, v:17, n:3, pp:- [Journal ] Jose Maria Turull Torres A study of homogeneity in relational databases. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2001, v:33, n:2-4, pp:379-414 [Journal ] Jose Maria Turull Torres Erratum for: A Study of Homogeneity in Relational Databases [Annals of Mathematics and Artificial Intelligence 33(2) (2001) 379-414]. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2004, v:42, n:4, pp:443-444 [Journal ] Jose Maria Turull Torres On the expressibility and the computability of untyped queries. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2001, v:108, n:1-3, pp:345-371 [Journal ] Lauri Hella , Jose Maria Turull Torres Expressibility of Higher Order Logics. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:84, n:, pp:- [Journal ] Klaus-Dieter Schewe , Jose Maria Turull Torres Computable Queries for Object Oriented Databases. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:67, n:, pp:- [Journal ] Klaus-Dieter Schewe , Jose Maria Turull Torres A Theory of Local Set Queries. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 2005, v:13, n:1, pp:47-68 [Journal ] Lauri Hella , Jose Maria Turull Torres Computing queries with higher-order logics. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2006, v:355, n:2, pp:197-214 [Journal ] Flavio Antonio Ferrarotti , Jose Maria Turull Torres Arity and alternation: a proper hierarchy in higher order logics. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2007, v:50, n:1-2, pp:111-141 [Journal ] Fixed-Point Quantifiers in Higher Order Logics. [Citation Graph (, )][DBLP ] The Relational Polynomial-Time Hierarchy and Second-Order Logic. [Citation Graph (, )][DBLP ] Search in 0.046secs, Finished in 0.047secs