Approximating the Expressive Power of Logics in Finite Models

Argimiro Arratia, Carlos E. Ortiz. Approximating the Expressive Power of Logics in Finite Models. In Martin Farach-Colton, editor, LATIN 2004: Theoretical Informatics, 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings. Volume 2976 of Lecture Notes in Computer Science, pages 540-556, Springer, 2004. [doi]

Authors

Argimiro Arratia

This author has not been identified. Look up 'Argimiro Arratia' in Google

Carlos E. Ortiz

This author has not been identified. Look up 'Carlos E. Ortiz' in Google