6
journals & series

Journal of Logical and Algebraic Methods in Programming
(JLAMP)

ACM Transactions on Computational Logic
(TOCL)

ACM Transactions on Autonomous and Adaptive Systems
(TAAS)

Science of Computer Programming
(SCP)

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
(RSTA)

Communications in Computer and Information Science
(CCIS)