Logic continues to play an important role in computer science and has permeated several of its areas, including artificial intelligence, computational complexity, database systems, and programming languages. The Editorial Board of this journal seeks and hopes to attract high-quality submissions in all the above-mentioned areas of computational logic so that TOCL becomes the standard reference in the field. Both theoretical and applied papers are sought. Submissions showing novel use of logic in computer science are especially welcome.
| YEAR | Impact Factor |
|---|---|
| 2024-25 | 0.9 |
| 2023 | 0.7 |
| 2022 | 0.5 |
| 2021 | 0.898 |
ACM Transactions on Computational Logic, 1529-3785, ASSOC COMPUTING MACHINERY, Computer Science,Mathematics.