ACM Transactions on Computational Logic

Published by Association for Computing Machinery (ACM)

ISSN 1529-3785EISSN 1557-945X
Database Coverage
  • Scopus
  • SCIE
  • Ei Compendex
  • Inspec
  • Scilit
Journal Articles
All-time journal articles
696
2023 journal articles
37

Latest Publications