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]

Abstract

Abstract is missing.