Impact Score 3.46
ACM Transactions on Computational Logic grants a site for the dissemination of new research findings in the swiftly growing aras of Computational Theory and Mathematics and General Computer Science . The publishing process for ACM Transactions on Computational Logic is to publish new innovative contributions that have been rigorously reviewed by skilled academic experts. The journal encourages submissions from the research community where emphasis will be placed on the originality and the practical importance of the reported research.
ACM Transactions on Computational Logic is listed in a wide scope of abstracting and indexing databases including Scopus, Web of Science and Guide2Research. A number of leading scholars have published their research contributions at this Journal for instance Marta Kwiatkowska, Diego Calvanese, Jan Friso Groote and Mirko Viroli.
For extra information on the instructions and submission requirements for authors, you are advised to visit the journal website for ACM Transactions on Computational Logic at https://dl.acm.org/journal/tocl .