Scimago Journal & Country Rank

ACM Transactions on Computational Logic

Country United States  - SIR icon SIR Ranking of United States
46
H Index
Subject Area and CategoryComputer Science
Computer Science (miscellaneous)

Mathematics
Computational Mathematics
Logic
Theoretical Computer Science
Publisher Association for Computing Machinery (ACM)
Publication typeJournals
ISSN15293785, 1557945X
Coverage2000-2020
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.

Homepage

How to publish in this journal

Contact

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
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
Logic2001Q2
Logic2002Q1
Logic2003Q1
Logic2004Q1
Logic2005Q1
Logic2006Q1
Logic2007Q1
Logic2008Q1
Logic2009Q1
Logic2010Q1
Logic2011Q1
Logic2012Q1
Logic2013Q1
Logic2014Q2
Logic2015Q2
Logic2016Q2
Logic2017Q2
Logic2018Q2
Logic2019Q2
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
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
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.152
Cites / Doc. (4 years)20032.137
Cites / Doc. (4 years)20042.458
Cites / Doc. (4 years)20052.578
Cites / Doc. (4 years)20061.750
Cites / Doc. (4 years)20072.426
Cites / Doc. (4 years)20082.686
Cites / Doc. (4 years)20092.694
Cites / Doc. (4 years)20102.955
Cites / Doc. (4 years)20111.887
Cites / Doc. (4 years)20122.224
Cites / Doc. (4 years)20131.786
Cites / Doc. (4 years)20141.890
Cites / Doc. (4 years)20152.078
Cites / Doc. (4 years)20161.517
Cites / Doc. (4 years)20171.801
Cites / Doc. (4 years)20181.581
Cites / Doc. (4 years)20191.333
Cites / Doc. (3 years)20000.000
Cites / Doc. (3 years)20011.333
Cites / Doc. (3 years)20022.152
Cites / Doc. (3 years)20032.137
Cites / Doc. (3 years)20042.300
Cites / Doc. (3 years)20051.710
Cites / Doc. (3 years)20061.686
Cites / Doc. (3 years)20072.671
Cites / Doc. (3 years)20083.038
Cites / Doc. (3 years)20092.939
Cites / Doc. (3 years)20102.512
Cites / Doc. (3 years)20111.953
Cites / Doc. (3 years)20122.013
Cites / Doc. (3 years)20131.869
Cites / Doc. (3 years)20141.708
Cites / Doc. (3 years)20151.880
Cites / Doc. (3 years)20161.548
Cites / Doc. (3 years)20171.902
Cites / Doc. (3 years)20181.500
Cites / Doc. (3 years)20191.273
Cites / Doc. (2 years)20000.000
Cites / Doc. (2 years)20011.333
Cites / Doc. (2 years)20022.152
Cites / Doc. (2 years)20031.923
Cites / Doc. (2 years)20041.410
Cites / Doc. (2 years)20051.636
Cites / Doc. (2 years)20061.837
Cites / Doc. (2 years)20072.960
Cites / Doc. (2 years)20083.453
Cites / Doc. (2 years)20092.138
Cites / Doc. (2 years)20102.912
Cites / Doc. (2 years)20111.807
Cites / Doc. (2 years)20122.000
Cites / Doc. (2 years)20131.836
Cites / Doc. (2 years)20141.471
Cites / Doc. (2 years)20151.892
Cites / Doc. (2 years)20161.568
Cites / Doc. (2 years)20171.645
Cites / Doc. (2 years)20181.345
Cites / Doc. (2 years)20191.358
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 Cites20073
Self Cites20084
Self Cites20093
Self Cites20103
Self Cites20115
Self Cites20122
Self Cites20134
Self Cites201412
Self Cites201513
Self Cites20166
Self Cites201711
Self Cites20184
Self Cites20196
Total Cites20000
Total Cites200116
Total Cites200271
Total Cites2003109
Total Cites2004138
Total Cites2005106
Total Cites2006118
Total Cites2007195
Total Cites2008240
Total Cites2009241
Total Cites2010216
Total Cites2011168
Total Cites2012157
Total Cites2013157
Total Cites2014152
Total Cites2015203
Total Cites2016178
Total Cites2017194
Total Cites2018144
Total Cites2019112
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.121
External Cites per document20032.078
External Cites per document20042.283
External Cites per document20051.661
External Cites per document20061.671
External Cites per document20072.630
External Cites per document20082.987
External Cites per document20092.902
External Cites per document20102.477
External Cites per document20111.895
External Cites per document20121.987
External Cites per document20131.821
External Cites per document20141.573
External Cites per document20151.759
External Cites per document20161.496
External Cites per document20171.794
External Cites per document20181.458
External Cites per document20191.205
Cites per document20000.000
Cites per document20011.333
Cites per document20022.152
Cites per document20032.137
Cites per document20042.300
Cites per document20051.710
Cites per document20061.686
Cites per document20072.671
Cites per document20083.038
Cites per document20092.939
Cites per document20102.512
Cites per document20111.953
Cites per document20122.013
Cites per document20131.869
Cites per document20141.708
Cites per document20151.880
Cites per document20161.548
Cites per document20171.902
Cites per document20181.500
Cites per document20191.273
% 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
200733.33
200875.86
200937.93
201048.39
201147.62
201258.82
201332.35
201465.00
201540.48
201652.38
201764.71
201851.52
201957.58
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 documents20083
Non-citable documents20091
Non-citable documents20102
Non-citable documents20113
Non-citable documents20123
Non-citable documents20132
Non-citable documents20140
Non-citable documents20150
Non-citable documents20161
Non-citable documents20171
Non-citable documents20181
Non-citable documents20190
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 documents201988
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 documents200828
Uncited documents200931
Uncited documents201031
Uncited documents201135
Uncited documents201232
Uncited documents201335
Uncited documents201432
Uncited documents201541
Uncited documents201647
Uncited documents201737
Uncited documents201842
Uncited documents201939
Cited documents20000
Cited documents20018
Cited documents200224
Cited documents200335
Cited documents200442
Cited documents200546
Cited documents200647
Cited documents200749
Cited documents200854
Cited documents200952
Cited documents201057
Cited documents201154
Cited documents201249
Cited documents201351
Cited documents201457
Cited documents201567
Cited documents201669
Cited documents201766
Cited documents201855
Cited documents201949
Scimago Journal & Country Rank
Show this widget in your own website

Just copy the code below and paste within your html code:
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-2020. Data Source: Scopus®