Carlos E. Ortiz

List of publications from the DBLP Bibliography Server - FAQ

2006

4 EE Argimiro Arratia, Carlos E. Ortiz: Counting Proportions of Sets: Expressive Power with Almost Order. LATIN 2006: 105-117

3 EE Argimiro Arratia, Carlos E. Ortiz: On a syntactic approximation to logics that capture complexity classes Electronic Colloquium on Computational Complexity (ECCC)(014): (2006)

2 EE Argimiro Arratia, Carlos E. Ortiz: Expressive Power and Complexity of a Logic with Quantifiers that Count Proportions of Sets. J. Log. Comput. 16(6): 817-840 (2006)

2004

1 EE Argimiro Arratia, Carlos E. Ortiz: Approximating the Expressive Power of Logics in Finite Models. LATIN 2004: 540-556

2006
4	EE	Argimiro Arratia, Carlos E. Ortiz: Counting Proportions of Sets: Expressive Power with Almost Order. LATIN 2006: 105-117
3	EE	Argimiro Arratia, Carlos E. Ortiz: On a syntactic approximation to logics that capture complexity classes Electronic Colloquium on Computational Complexity (ECCC)(014): (2006)
2	EE	Argimiro Arratia, Carlos E. Ortiz: Expressive Power and Complexity of a Logic with Quantifiers that Count Proportions of Sets. J. Log. Comput. 16(6): 817-840 (2006)
2004
1	EE	Argimiro Arratia, Carlos E. Ortiz: Approximating the Expressive Power of Logics in Finite Models. LATIN 2004: 540-556

Coauthor Index