Automata Theory

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