  |
Transactions on Computational Logic - http://tocl.acm.org/
This addition to ACM's Transactions Series is devoted to research concerned with all uses of logic in computer science. |
  |
Theoretical Computer Science - http://www.elsevier.com/locate/tcs
Elsevier journal covering the mathematical and theoretical basis of computer science. |
  |
SIGACT News Online - http://sigact.acm.org/sigactnews/online.html
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. |
  |
Journal of Experimental Algorithmics - http://www.jea.acm.org/
ACM's journal for experimental algorithmics . |
  |
Journal of Graph Algorithms and Applications - http://www.cs.brown.edu/sites/jgaa/
The electronic edition of the journal hosted by Brown University. |