Scimago Journal & Country Rank

ACM Transactions on Computational Logic

Country

United States

Universities and research institutions in United States
Media Ranking in United States

Subject Area and Category

Publisher

Association for Computing Machinery (ACM)

H-Index

52

Publication type

Journals

ISSN

15293785, 1557945X

Coverage

2000-2023

Information

Homepage

How to publish in this journal

orna@cs.huji.ac.il

Scope

TOCL welcomes submissions related to all aspects of logic as it pertains to topics in computer science. This area has a great tradition in computer science. Several researchers who earned the ACM Turing award have also contributed to this field, namely Edgar Codd (relational database systems), Stephen Cook (complexity of logical theories), Edsger W. Dijkstra, Robert W. Floyd, Tony Hoare, Amir Pnueli, Dana Scott, Edmond M. Clarke, Allen E. Emerson, and Joseph Sifakis (program logics, program derivation and verification, programming languages semantics), Robin Milner (interactive theorem proving, concurrency calculi, and functional programming), and John McCarthy (functional programming and logics in AI). 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. Join the conversation about this journal
Quartiles

The set of journals have been ranked according to their SJR and divided into four equal groups, four quartiles. Q1 (green) comprises the quarter of the journals with the highest values, Q2 (yellow) the second highest values, Q3 (orange) the third highest values and Q4 (red) the lowest values.

CategoryYearQuartile
Computational Mathematics2001Q2
Computational Mathematics2002Q2
Computational Mathematics2003Q1
Computational Mathematics2004Q1
Computational Mathematics2005Q2
Computational Mathematics2006Q1
Computational Mathematics2007Q1
Computational Mathematics2008Q1
Computational Mathematics2009Q1
Computational Mathematics2010Q1
Computational Mathematics2011Q2
Computational Mathematics2012Q2
Computational Mathematics2013Q2
Computational Mathematics2014Q2
Computational Mathematics2015Q2
Computational Mathematics2016Q2
Computational Mathematics2017Q2
Computational Mathematics2018Q2
Computational Mathematics2019Q2
Computational Mathematics2020Q2
Computational Mathematics2021Q2
Computational Mathematics2022Q2
Computational Mathematics2023Q2
Computer Science (miscellaneous)2001Q1
Computer Science (miscellaneous)2002Q1
Computer Science (miscellaneous)2003Q1
Computer Science (miscellaneous)2004Q1
Computer Science (miscellaneous)2005Q1
Computer Science (miscellaneous)2006Q1
Computer Science (miscellaneous)2007Q1
Computer Science (miscellaneous)2008Q1
Computer Science (miscellaneous)2009Q1
Computer Science (miscellaneous)2010Q1
Computer Science (miscellaneous)2011Q1
Computer Science (miscellaneous)2012Q1
Computer Science (miscellaneous)2013Q1
Computer Science (miscellaneous)2014Q1
Computer Science (miscellaneous)2015Q1
Computer Science (miscellaneous)2016Q1
Computer Science (miscellaneous)2017Q1
Computer Science (miscellaneous)2018Q1
Computer Science (miscellaneous)2019Q1
Computer Science (miscellaneous)2020Q1
Computer Science (miscellaneous)2021Q1
Computer Science (miscellaneous)2022Q2
Computer Science (miscellaneous)2023Q1
Logic2001Q2
Logic2002Q1
Logic2003Q1
Logic2004Q1
Logic2005Q1
Logic2006Q1
Logic2007Q1
Logic2008Q1
Logic2009Q1
Logic2010Q1
Logic2011Q1
Logic2012Q1
Logic2013Q1
Logic2014Q2
Logic2015Q2
Logic2016Q2
Logic2017Q2
Logic2018Q2
Logic2019Q2
Logic2020Q2
Logic2021Q1
Logic2022Q1
Logic2023Q1
Theoretical Computer Science2001Q1
Theoretical Computer Science2002Q1
Theoretical Computer Science2003Q1
Theoretical Computer Science2004Q1
Theoretical Computer Science2005Q1
Theoretical Computer Science2006Q1
Theoretical Computer Science2007Q1
Theoretical Computer Science2008Q1
Theoretical Computer Science2009Q1
Theoretical Computer Science2010Q1
Theoretical Computer Science2011Q2
Theoretical Computer Science2012Q1
Theoretical Computer Science2013Q1
Theoretical Computer Science2014Q2
Theoretical Computer Science2015Q2
Theoretical Computer Science2016Q2
Theoretical Computer Science2017Q2
Theoretical Computer Science2018Q2
Theoretical Computer Science2019Q2
Theoretical Computer Science2020Q2
Theoretical Computer Science2021Q2
Theoretical Computer Science2022Q2
Theoretical Computer Science2023Q2
SJR

The SJR is a size-independent prestige indicator that ranks journals by their 'average prestige per article'. It is based on the idea that 'all citations are not created equal'. SJR is a measure of scientific influence of journals that accounts for both the number of citations received by a journal and the importance or prestige of the journals where such citations come from It measures the scientific influence of the average article in a journal, it expresses how central to the global scientific discussion an average article of the journal is.

YearSJR
20011.069
20021.068
20031.318
20041.098
20050.990
20061.066
20072.055
20082.157
20091.269
20101.185
20110.936
20120.973
20130.968
20140.787
20150.805
20160.639
20170.573
20180.559
20190.572
20200.593
20210.755
20220.618
20230.876
Total Documents

Evolution of the number of published documents. All types of documents are considered, including citable and non citable documents.

YearDocuments
200012
200121
200218
200321
200423
200528
200624
200729
200829
200929
201030
201121
201234
201334
201440
201541
201621
201734
201834
201933
202022
202121
202227
202336
Citations per document

This indicator counts the number of citations received by documents from a journal and divides them by the total number of documents published in that journal. The chart shows the evolution of the average number of times documents published in a journal in the past two, three and four years have been cited in the current year. The two years line is equivalent to journal impact factor ™ (Thomson Reuters) metric.

Cites per documentYearValue
Cites / Doc. (4 years)20000.000
Cites / Doc. (4 years)20011.333
Cites / Doc. (4 years)20022.212
Cites / Doc. (4 years)20032.157
Cites / Doc. (4 years)20042.542
Cites / Doc. (4 years)20052.639
Cites / Doc. (4 years)20061.733
Cites / Doc. (4 years)20072.375
Cites / Doc. (4 years)20082.683
Cites / Doc. (4 years)20092.700
Cites / Doc. (4 years)20102.937
Cites / Doc. (4 years)20111.838
Cites / Doc. (4 years)20122.266
Cites / Doc. (4 years)20131.789
Cites / Doc. (4 years)20141.916
Cites / Doc. (4 years)20152.109
Cites / Doc. (4 years)20161.564
Cites / Doc. (4 years)20171.904
Cites / Doc. (4 years)20181.676
Cites / Doc. (4 years)20191.431
Cites / Doc. (4 years)20201.238
Cites / Doc. (4 years)20211.268
Cites / Doc. (4 years)20221.373
Cites / Doc. (4 years)20231.466
Cites / Doc. (3 years)20000.000
Cites / Doc. (3 years)20011.333
Cites / Doc. (3 years)20022.212
Cites / Doc. (3 years)20032.157
Cites / Doc. (3 years)20042.400
Cites / Doc. (3 years)20051.758
Cites / Doc. (3 years)20061.667
Cites / Doc. (3 years)20072.587
Cites / Doc. (3 years)20083.025
Cites / Doc. (3 years)20093.000
Cites / Doc. (3 years)20102.471
Cites / Doc. (3 years)20111.886
Cites / Doc. (3 years)20122.050
Cites / Doc. (3 years)20131.882
Cites / Doc. (3 years)20141.764
Cites / Doc. (3 years)20151.907
Cites / Doc. (3 years)20161.591
Cites / Doc. (3 years)20172.010
Cites / Doc. (3 years)20181.552
Cites / Doc. (3 years)20191.348
Cites / Doc. (3 years)20201.198
Cites / Doc. (3 years)20211.292
Cites / Doc. (3 years)20221.487
Cites / Doc. (3 years)20231.457
Cites / Doc. (2 years)20000.000
Cites / Doc. (2 years)20011.333
Cites / Doc. (2 years)20022.212
Cites / Doc. (2 years)20031.923
Cites / Doc. (2 years)20041.410
Cites / Doc. (2 years)20051.659
Cites / Doc. (2 years)20061.765
Cites / Doc. (2 years)20072.846
Cites / Doc. (2 years)20083.491
Cites / Doc. (2 years)20092.207
Cites / Doc. (2 years)20102.828
Cites / Doc. (2 years)20111.729
Cites / Doc. (2 years)20122.078
Cites / Doc. (2 years)20131.873
Cites / Doc. (2 years)20141.515
Cites / Doc. (2 years)20151.932
Cites / Doc. (2 years)20161.630
Cites / Doc. (2 years)20171.726
Cites / Doc. (2 years)20181.436
Cites / Doc. (2 years)20191.397
Cites / Doc. (2 years)20201.075
Cites / Doc. (2 years)20211.309
Cites / Doc. (2 years)20221.488
Cites / Doc. (2 years)20231.354
Total Cites 
Self-Cites

Evolution of the total number of citations and journal's self-citations received by a journal's published documents during the three previous years.
Journal Self-citation is defined as the number of citation from a journal citing article to articles published by the same journal.

CitesYearValue
Self Cites20000
Self Cites20010
Self Cites20021
Self Cites20033
Self Cites20041
Self Cites20053
Self Cites20061
Self Cites20072
Self Cites20084
Self Cites20093
Self Cites20102
Self Cites20115
Self Cites20122
Self Cites20134
Self Cites201412
Self Cites201512
Self Cites20166
Self Cites201711
Self Cites20184
Self Cites20196
Self Cites20202
Self Cites20214
Self Cites20221
Self Cites20237
Total Cites20000
Total Cites200116
Total Cites200273
Total Cites2003110
Total Cites2004144
Total Cites2005109
Total Cites2006120
Total Cites2007194
Total Cites2008245
Total Cites2009246
Total Cites2010215
Total Cites2011166
Total Cites2012164
Total Cites2013160
Total Cites2014157
Total Cites2015206
Total Cites2016183
Total Cites2017205
Total Cites2018149
Total Cites2019120
Total Cites2020121
Total Cites2021115
Total Cites2022113
Total Cites2023102
External Cites per Doc 
Cites per Doc

Evolution of the number of total citation per document and external citation per document (i.e. journal self-citations removed) received by a journal's published documents during the three previous years. External citations are calculated by subtracting the number of self-citations from the total number of citations received by the journal’s documents.

CitesYearValue
External Cites per document20000
External Cites per document20011.333
External Cites per document20022.182
External Cites per document20032.098
External Cites per document20042.383
External Cites per document20051.710
External Cites per document20061.653
External Cites per document20072.560
External Cites per document20082.975
External Cites per document20092.963
External Cites per document20102.448
External Cites per document20111.830
External Cites per document20122.025
External Cites per document20131.835
External Cites per document20141.629
External Cites per document20151.796
External Cites per document20161.539
External Cites per document20171.902
External Cites per document20181.510
External Cites per document20191.281
External Cites per document20201.178
External Cites per document20211.247
External Cites per document20221.474
External Cites per document20231.357
Cites per document20000.000
Cites per document20011.333
Cites per document20022.212
Cites per document20032.157
Cites per document20042.400
Cites per document20051.758
Cites per document20061.667
Cites per document20072.587
Cites per document20083.025
Cites per document20093.000
Cites per document20102.471
Cites per document20111.886
Cites per document20122.050
Cites per document20131.882
Cites per document20141.764
Cites per document20151.907
Cites per document20161.591
Cites per document20172.010
Cites per document20181.552
Cites per document20191.348
Cites per document20201.198
Cites per document20211.292
Cites per document20221.487
Cites per document20231.457
% International Collaboration

International Collaboration accounts for the articles that have been produced by researchers from several countries. The chart shows the ratio of a journal's documents signed by researchers from more than one country; that is including more than one country address.

YearInternational Collaboration
200033.33
200133.33
200233.33
200352.38
200456.52
200539.29
200633.33
200734.48
200875.86
200937.93
201046.67
201147.62
201258.82
201332.35
201465.00
201539.02
201652.38
201764.71
201850.00
201957.58
202063.64
202166.67
202262.96
202366.67
Citable documents 
Non-citable documents

Not every article in a journal is considered primary research and therefore "citable", this chart shows the ratio of a journal's articles including substantial research (research articles, conference papers and reviews) in three year windows vs. those documents other than research articles, reviews and conference papers.

DocumentsYearValue
Non-citable documents20000
Non-citable documents20010
Non-citable documents20020
Non-citable documents20030
Non-citable documents20040
Non-citable documents20050
Non-citable documents20062
Non-citable documents20072
Non-citable documents20082
Non-citable documents20090
Non-citable documents20101
Non-citable documents20112
Non-citable documents20122
Non-citable documents20131
Non-citable documents20140
Non-citable documents20150
Non-citable documents20160
Non-citable documents20170
Non-citable documents20180
Non-citable documents20190
Non-citable documents20200
Non-citable documents20210
Non-citable documents20220
Non-citable documents20230
Citable documents20000
Citable documents200112
Citable documents200233
Citable documents200351
Citable documents200460
Citable documents200562
Citable documents200670
Citable documents200773
Citable documents200879
Citable documents200982
Citable documents201086
Citable documents201186
Citable documents201278
Citable documents201384
Citable documents201489
Citable documents2015108
Citable documents2016115
Citable documents2017102
Citable documents201896
Citable documents201989
Citable documents2020101
Citable documents202189
Citable documents202276
Citable documents202370
Cited documents 
Uncited documents

Ratio of a journal's items, grouped in three years windows, that have been cited at least once vs. those not cited during the following year.

DocumentsYearValue
Uncited documents20000
Uncited documents20014
Uncited documents20029
Uncited documents200316
Uncited documents200418
Uncited documents200516
Uncited documents200625
Uncited documents200726
Uncited documents200826
Uncited documents200929
Uncited documents201030
Uncited documents201134
Uncited documents201231
Uncited documents201332
Uncited documents201430
Uncited documents201542
Uncited documents201646
Uncited documents201734
Uncited documents201840
Uncited documents201934
Uncited documents202045
Uncited documents202137
Uncited documents202239
Uncited documents202333
Cited documents20000
Cited documents20018
Cited documents200224
Cited documents200335
Cited documents200442
Cited documents200546
Cited documents200647
Cited documents200749
Cited documents200855
Cited documents200953
Cited documents201057
Cited documents201154
Cited documents201249
Cited documents201353
Cited documents201459
Cited documents201566
Cited documents201669
Cited documents201768
Cited documents201856
Cited documents201955
Cited documents202056
Cited documents202152
Cited documents202237
Cited documents202337
Scimago Journal & Country Rank
Show this widget in your own website

Just copy the code below and paste within your html code:
SCImago Graphica
Explore, visually communicate and make sense of data with our new data visualization tool.
Metrics based on Scopus® data as of March 2024
Loading comments…

Leave a comment

* Required

* Required

* Required

* Required

The users of Scimago Journal & Country Rank have the possibility to dialogue through comments linked to a specific journal. The purpose is to have a forum in which general doubts about the processes of publication in the journal, experiences and other issues derived from the publication of papers are resolved. For topics on particular articles, maintain the dialogue through the usual channels with your editor.

Developed by:
Scimago Lab
Powered by:
Powered by scopus

Follow us on @ScimagoJR

Scimago Lab, Copyright 2007-2024. Data Source: Scopus®

Legal Notice

Privacy Policy