ACM's journal for experimental algorithmics .
Electronic journal hosted by the University of Chicago.
ECCC publishes research reports, surveys and books in computational complexity and is hosted by the University of Trier.
Electronic journal maintained by the American Mathematical Society.
International journal on Theoretical Computer Science and Information Theory.
The electronic edition of the journal hosted by Brown University.
MLQ is an international journal on mathematical logic and foundations of mathematics published by Wiley-VCH.
Journal of Logic Programming published upto 2000.
The official journal of the Association for Logic Programming.
This addition to ACM's Transactions Series is devoted to research concerned with all uses of logic in computer science.