![]() | ![]() |
2008 | ||
---|---|---|
4 | EE | Flavio Antonio Ferrarotti, Jose Maria Turull Torres: The Relational Polynomial-Time Hierarchy and Second-Order Logic. SDKB 2008: 48-76 |
2007 | ||
3 | 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) |
2006 | ||
2 | EE | Flavio Antonio Ferrarotti, Jose Maria Turull Torres: Arity and Alternation: A Proper Hierarchy in Higher Order Logics. FoIKS 2006: 92-115 |
2004 | ||
1 | EE | Flavio Antonio Ferrarotti, Jose Maria Turull Torres: On the Computation of Approximations of Database Queries. ADC 2004: 27-37 |
1 | Jose Maria Turull Torres | [1] [2] [3] [4] |