Theoretical
There are a total of 12 listings in this category.
Site Listings:
Discrete Mathematics and Theoretical Computer Science
DMTCS is an electronic journal published by the Maison de l'Informatique et des Mathématiques Discrètes.
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.
www.eccc.uni-trier.de/eccc
Electronic Journal of Combinatorics
Electronic journal maintained by the American Mathematical Society.
www.combinatorics.org
Information and Computation
International journal on Theoretical Computer Science and Information Theory.
theory.lcs.mit.edu/~iandc
Journal of Experimental Algorithmics
ACM's journal for experimental algorithmics .
www.jea.acm.org
Journal of Graph Algorithms and Applications
The electronic edition of the journal hosted by Brown University.
www.cs.brown.edu/publications/jgaa
Journal of Logic Programming
Journal of Logic Programming published upto 2000.
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.
www.wiley-vch.de/publish/en/journals/alphabeticIndex/2256
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.
sigact.acm.org/sigactnews/online.html
Theory and Practice of Logic Programming Journal (TPLP)
The official journal of the Association for Logic Programming.
journals.cambridge.org/journal_TheoryandPracticeofLogicProgramming
Theory of Computing
An open-access electronic journal of theoretical computer science. Online archive and submission instructions.
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.
www.acm.org/pubs/tocl