See also:

• Computers: Computer Science: Publications: Journals  (49)
• Science: Math: Publications: Journals  (175)

• Chicago Journal of Theoretical Computer Science   + Electronic journal hosted by the University of Chicago.

• Discrete Mathematics and Theoretical Computer Science - DMTCS is an electronic journal published by the Maison de l'Informatique et des Mathématiques Discrètes.
• Electronic Colloquium on Computational Complexity - ECCC publishes research reports, surveys and books in computational complexity and is hosted by the University of Trier.
• Electronic Journal of Combinatorics - Electronic journal maintained by the American Mathematical Society.
• Information and Computation - International journal on Theoretical Computer Science and Information Theory.
• Journal of Experimental Algorithmics - ACM's journal for experimental algorithmics .
• Journal of Graph Algorithms and Applications - The electronic edition of the journal hosted by Brown University.
• Journal of Logic Programming - Journal of Logic Programming published upto 2000.
• Mathematical Logic Quarterly - MLQ is an international journal on mathematical logic and foundations of mathematics published by Wiley+VCH.
• SIGACT News Online - The electronic version of the print newsletter SIGACT News. Full access restricted to current members with an ACM WWW account. Unrestricted access to recent tables of contents and Theory calendar.
• Theoretical Computer Science - Elsevier journal covering the mathematical and theoretical basis of computer science.
• Theory and Practice of Logic Programming Journal (TPLP) - The official journal of the Association for Logic Programming.
• Theory of Computing - An open+access electronic journal of theoretical computer science. Online archive and submission instructions.
• Transactions on Computational Logic - This addition to ACM's Transactions Series is devoted to research concerned with all uses of logic in computer science.