Research Creative   My Account   Submit My Manuscript
Letpub, Scientific Editing Services, Manuscript Editing Service

Scientific Journal Selector



  
  
-

ACM Transactions on Computational Logic


👁  16465 Views

 1 Reviews  

 Open Access      SCIE      Official Website     Submission Website
 

*Average Peer Review
>12 Week(s), or Invited contributions
*Competitiveness
Easy
CiteScore
2.4

CiteScore Rank
Subject Area Rank Percentile
Category: Mathematics
Subcategory: Logic
12 / 43
Category: Mathematics
Subcategory: Computational Mathematics
97 / 201
Category: Mathematics
Subcategory: Theoretical Computer Science
78 / 136
Category: Mathematics
Subcategory: General Computer Science
140 / 239



Country/Area of Publication
UNITED STATES
Publication Frequency
Quarterly
Publisher
Association for Computing Machinery (ACM)

ISSN
1529-3785
E-ISSN
1557-945X
Year Publication Started
0

Self-citation (2024-2025)
0.00%
Annual Article Volume
25
Gold OA Percentage
11.49%


Open Access Info
APC APC Waiver Other Charges
N/A N/A N/A

Journal Aim & 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.


Web of Science Quartiles
WOS Quartile: Q1

Quartiles By JIFCollectionQuartileRankPercentage
Category: COMPUTER SCIENCE, THEORY & METHODSSCIEQ3102/147
Category: LOGICSCIEQ15/27
Quartiles By JCICollectionQuartileRankPercentage
Category: COMPUTER SCIENCE, THEORY & METHODSSCIEQ242/147
Category: LOGICSCIEQ27/27
*Crowdsourced data
  • Journals In The Same Subject Area
  • CiteScore Trends
  • Self Citation Trends
  • Annual Article Volume Trends
  • Journal Title h-index CiteScore
    ACM COMPUTING SURVEYS13251.60
    Information Fusion8524.10
    COMMUNICATIONS OF THE ACM18914.30
    IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION15423.50
    INFORMATION SYSTEMS FRONTIERS5519.10
    Future Generation Computer Systems-The International Journal of eScience9317.10
    ACM Transactions on Multimedia Computing Communications and Applications388.70
    INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE599.70
    Cluster Computing-The Journal of Networks Software Tools and Applications358.70
    JOURNAL OF SYSTEMS AND SOFTWARE949.40
  • ACM Transactions on Computational Logic ACM Transactions on Computational Logic
    Predict CiteScore Trend:
    Steady Increase No Change Gradual Decline  Refresh
 
    👁  16465 Views
      Reviews        
 
 
 

Select your rating and start your review of ACM Transactions on Computational Logic

 

    Journals In The Same Field



    © 2010-2025  ACCDON LLC 400 5th Ave, Suite 530, Waltham, MA 02451, USA
    PrivacyTerms of Servic