ACM Transactions on Computational Logic

  • ACM Transactions on Computational Logic (TOCL) is a scientific journal that aims to disseminate the latest findings of note in the field of logic in computer science. It is published by the Association for Computing Machinery, a premier scientific and educational society on computer science and computational technology in the United States.

+ About
  • ACM Transactions on Computational Logic (TOCL) is a scientific journal that aims to disseminate the latest findings of note in the field of logic in computer science. It is published by the Association for Computing Machinery, a premier scientific and educational society on computer science and computational technology in the United States.

  • Orna Kupferman

+ Editor-in-Chief
  • Orna Kupferman

  • Print ISSN: 1529-3785

    Electronic ISSN: 1557-945X

+ ISSN
  • Print ISSN: 1529-3785

    Electronic ISSN: 1557-945X

  • Science Citation Index Expanded.

  • Scopus.

+ Abstracting and Indexing
  • Science Citation Index Expanded.

  • Scopus.

  • Impact Factor 2015: 0.855

+ Impact Factor
  • Impact Factor 2015: 0.855

  • Computer Science, Mathematics, Logic

+ Subject Area and Category
  • Computer Science, Mathematics, Logic

  • Publisher: Association for Computing Machinery New York

    Country: USA

+ Publisher & Country
  • Publisher: Association for Computing Machinery New York

    Country: USA