Web Directory

» Discrete Mathematics and Theoretical Computer Science
   DMTCS is an electronic journal published by the Maison de l'Informatique et des Mathématiques Discrètes.
   http://www.dmtcs.org/

» Electronic Colloquium on Computational Complexity
   ECCC publishes research reports, surveys and books in computational complexity and is hosted by the University of Trier.
   http://eccc.hpi-web.de/

» Electronic Journal of Combinatorics
   Electronic journal maintained by the American Mathematical Society.
   http://www.combinatorics.org/

» Information and Computation
   International journal on Theoretical Computer Science and Information Theory.
   http://projects.csail.mit.edu/iandc/

» Journal of Experimental Algorithmics
   ACM's journal for experimental algorithmics .
   http://www.jea.acm.org/

» Journal of Graph Algorithms and Applications
   The electronic edition of the journal hosted by Brown University.
   http://www.cs.brown.edu/sites/jgaa/

» Journal of Logic Programming
   Journal of Logic Programming published up to 2000.
   http://www.informatik.uni-trier.de/~ley/db/journals/jlp/

» Mathematical Logic Quarterly
   MLQ is an international journal on mathematical logic and foundations of mathematics published by Wiley-VCH.
   http://www.wiley-vch.de/publish/en/journals/alphabeticIndex/2256/

» Theoretical Computer Science
   Elsevier journal covering the mathematical and theoretical basis of computer science.
   http://www.elsevier.com/locate/tcs

» Theory and Practice of Logic Programming Journal (TPLP)
   The official journal of the Association for Logic Programming.
   http://journals.cambridge.org/action/displayJournal?jid=TLP

» Theory of Computing
   An open-access electronic journal of theoretical computer science. Online archive and submission instructions.
   http://theoryofcomputing.org/

» Transactions on Computational Logic
   This addition to ACM's Transactions Series is devoted to research concerned with all uses of logic in computer science.
   http://tocl.acm.org/