Carlos E. Ortiz

	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

1

Argimiro Arratia (Argimiro Arratia Quesada)

[1] [2] [3] [4] [5]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page