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/
Theory of Computing
- An open-access electronic journal of theoretical computer science. Online archive and submission instructions.
- http://theoryofcomputing.org/
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.
- http://sigact.acm.org/sigactnews/online.html
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://www.acm.org/pubs/tocl/
Journal of Logic Programming
- Journal of Logic Programming published upto 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/