Flavio Antonio Ferrarotti

Publication Activity (10 Years)

Years Active: 2004-2011
Publications (10 Years): 0

Publications

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)
Qing Wang, Flavio Antonio Ferrarotti
XML Machines. ER Workshops (2009)
Flavio Antonio Ferrarotti, Alejandra Lorena Paoletti, José M. Turull Torres
First-Order Types and Redundant Relations in Relational Databases. ER Workshops (2009)
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)
Flavio Antonio Ferrarotti, Jose Maria Turull Torres
Arity and Alternation: A Proper Hierarchy in Higher Order Logics. FoIKS (2006)
Flavio Antonio Ferrarotti, Jose Maria Turull Torres
On the Computation of Approximations of Database Queries. ADC (2004)