Computer Science Journals

• Ordinary journals
  • ACM Trans on Computational Logic
  • JACM
  • Logic and Comp
  • Logic, Lang and Info
  • Comp Linguistics
  • APAL
  • Infor and Comp
  • LNCS series editors
  • MSCS
  • TCS
  • Formal Aspects of Computing
  • JAR
  • J of Func Prog
  • J of Sym Logic
  • Theory and Appl of Cat
• On-line journals: IGPL, LMS J of Comp and Math, Nordic J. of Philosophical Logic, LNCS.