Revistas Electrónicas ACM Transactions on Computational Logic (Gratis- ACM) Vol. 1, No. 1, 2000- Artículo anterior: ACM Computing Surveys (Gratis- ACM) Vol. 1, No. 1, 1969- Anterior Artículo siguiente: ACM Transactions on Mathematical Software (TOMS) (ACM) Vol. 1, No. 1, 1975- Siguiente