Search the dblp DataBase

Publications of Author

1. Argimiro Arratia, Carlos E. Ortiz
   Approximating the Expressive Power of Logics in Finite Models. [Citation Graph (0, 0)][DBLP]
   LATIN, 2004, pp:540-556 [Conf]
   
2. Argimiro Arratia, Carlos E. Ortiz
   Counting Proportions of Sets: Expressive Power with Almost Order. [Citation Graph (0, 0)][DBLP]
   LATIN, 2006, pp:105-117 [Conf]
   
3. Argimiro Arratia, Carlos E. Ortiz
   On a syntactic approximation to logics that capture complexity classes [Citation Graph (0, 0)][DBLP]
   Electronic Colloquium on Computational Complexity (ECCC), 2006, v:, n:014, pp:- [Journal]
   
4. Argimiro Arratia
   On the Descriptive Complexity of a Simplified Game of Hex. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2002, v:10, n:2, pp:105-122 [Journal]
   
5. Argimiro Arratia, Carlos E. Ortiz
   Expressive Power and Complexity of a Logic with Quantifiers that Count Proportions of Sets. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2006, v:16, n:6, pp:817-840 [Journal]
   
6. 
   Program Schemes with Deep Pushdown Storage. [Citation Graph (, )][DBLP]