TCS Journals and Proceedings

[Independent] [Scientific societies] [Commercial]

Independent

• Chicago Journal of Theoretical Computer Science
• Journal on Satisfiability, Boolean Modeling and Computation
• Logical Methods in Computer Science
• Discrete Mathematics and Theoretical Computer Science
• The Electronic Journal of Combinatorics

Scientific societies

• ACM Digital Library
• ACM Transactions on Computational Logic
• ACM Transactions on Programming Languages and Systems
• EATCS Bulletin
• IEEE/CS Digital Library
• IEEE Xplore
• Journal of the ACM
• LMS Journal of Computation and Mathematics
• SIAM Journal on Computing
• SIAM Journal on Discrete Mathematics
• SIGACT News Online

Commercial

• Acta Informatica
• Artificial Intelligence
• Combinatorica
• Computational Complexity
• Discrete Applied Mathematics
• Formal Methods in System Design
• Information and Computation
• Information Processing Letters
• International Journal of Foundations of Computer Science
• Journal of Complexity
• Journal of Computer and System Sciences
• Journal of Cryptology
• Lecture Notes in Computer Science
• Random Structures & Algorithms
• Theoretical Computer Science
• Theory and Practice of Logic Programming
• Theory of Computing Systems