ACM Transactions on Computational Logic
SCImago
Q1
WOS
Q1
Impact factor
0.7
SJR
0.876
CiteScore
2.3
Categories
Computer Science (miscellaneous)
Logic
Computational Mathematics
Theoretical Computer Science
Areas
Computer Science
Mathematics
Years of issue
2000-2024
Top-3 citing journals
Lecture Notes in Computer Science
(3501 citations)
ACM Transactions on Computational Logic
(374 citations)
Theory and Practice of Logic Programming
(286 citations)
Top-3 organizations
Vienna University of Technology
(36 publications)
University of Oxford
(29 publications)
Sapienza University of Rome
(21 publications)
University of Oxford
(10 publications)
Vienna University of Technology
(7 publications)
University of Naples Federico II
(6 publications)
Top-3 countries
Most cited in 5 years
Found
Top-100
Citing journals
Citing publishers
Publishing organizations
Publishing organizations in 5 years
Publishing countries
Publishing countries in 5 years
1 profile journal article
Kuznetsov Stepan
Steklov Mathematical Institute of Russian Academy of Sciences
61 publications,
181 citations
h-index: 7
1 profile journal article
OMODEO Eugenio
61 publications,
489 citations
h-index: 11