author : Jacob Beal
6
journals & series
ACM Transactions on Computational Logic (TOCL) Journal of Logical and Algebraic Methods in Programming (JLAMP) 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)