Chicago Journal of Theoretical Computer Science - Electronic journal hosted by the University of Chicago. Electronic Colloquium on Computational Complexity - ECCC publishes research reports, surveys and books in computational complexity and is hosted by the University of Trier. Theory and Practice of Logic Programming Journal (TPLP) - The official journal of the Association for Logic Programming. Information and Computation - Covers all areas of theoretical computer science and computational aspects of information theory. Electronic Journal of Combinatorics - Electronic journal maintained by the American Mathematical Society. Journal of Experimental Algorithmics - ACM's journal for experimental algorithmics . Mathematical Logic Quarterly - MLQ is an international journal on mathematical logic and foundations of mathematics published by Wiley-VCH. Discrete Mathematics and Theoretical Computer Science - DMTCS is an electronic journal published by the Maison de l'Informatique et des Mathématiques Discrètes. 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. Journal of Graph Algorithms and Applications - The electronic edition of the journal hosted by Brown University. Theoretical Computer Science - Elsevier journal covering the mathematical and theoretical basis of computer science. Journal of Logic Programming - Journal of Logic Programming published up to 2000.