Argimiro Arratia

List of publications from the DBLP Bibliography Server - FAQ

2008

6 EE Argimiro Arratia, Iain A. Stewart: Program Schemes with Deep Pushdown Storage. CiE 2008: 11-21

2006

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

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

3 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

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

2002

1 EE Argimiro Arratia: On the Descriptive Complexity of a Simplified Game of Hex. Logic Journal of the IGPL 10(2): 105-122 (2002)

2008
6	EE	Argimiro Arratia, Iain A. Stewart: Program Schemes with Deep Pushdown Storage. CiE 2008: 11-21
2006
5	EE	Argimiro Arratia, Carlos E. Ortiz: Counting Proportions of Sets: Expressive Power with Almost Order. LATIN 2006: 105-117
4	EE	Argimiro Arratia, Carlos E. Ortiz: On a syntactic approximation to logics that capture complexity classes Electronic Colloquium on Computational Complexity (ECCC)(014): (2006)
3	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
2	EE	Argimiro Arratia, Carlos E. Ortiz: Approximating the Expressive Power of Logics in Finite Models. LATIN 2004: 540-556
2002
1	EE	Argimiro Arratia: On the Descriptive Complexity of a Simplified Game of Hex. Logic Journal of the IGPL 10(2): 105-122 (2002)

Coauthor Index