dblp.uni-trier.dewww.uni-trier.de

Flavio Antonio Ferrarotti

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Jose Maria Turull Torres [1] [2] [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)