Carlos E. Ortiz

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

5 Argimiro Arratia, Carlos E. Ortiz: Approximate formulae for a logic that capture classes of computational complexity. Logic Journal of the IGPL 17(1): 131-154 (2009)

2006

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

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

2 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 Argimiro Arratia, Carlos E. Ortiz: Approximating the Expressive Power of Logics in Finite Models. LATIN 2004: 540-556

	2009
5		Argimiro Arratia, Carlos E. Ortiz: Approximate formulae for a logic that capture classes of computational complexity. Logic Journal of the IGPL 17(1): 131-154 (2009)
	2006
4		Argimiro Arratia, Carlos E. Ortiz: Counting Proportions of Sets: Expressive Power with Almost Order. LATIN 2006: 105-117
3		Argimiro Arratia, Carlos E. Ortiz: On a syntactic approximation to logics that capture complexity classes Electronic Colloquium on Computational Complexity (ECCC)(014): (2006)
2		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		Argimiro Arratia, Carlos E. Ortiz: Approximating the Expressive Power of Logics in Finite Models. LATIN 2004: 540-556

Coauthor Index