ACM Transactions on Computational Logic
Note: The following journal information is for reference only. Please check the journal website for updated information prior to submission.
Journal Title
ACM Transactions on Computational Logic
ACM T COMPUT LOG
ISSN / eISSN
1529-3785 / 1557-945X
Aims and 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.
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.
Subject Area
COMPUTER SCIENCE, THEORY & METHODS
LOGIC
CiteScore
2.30
View Trend
CiteScore Ranking
| Category | Quartile | Rank |
|---|---|---|
| Mathematics - Logic | Q2 | #11/41 |
| Mathematics - Computational Mathematics | Q3 | #99/189 |
| Mathematics - General Computer Science | Q3 | #135/232 |
| Mathematics - Theoretical Computer Science | Q3 | #81/130 |
Web of Science Core Collection
| Science Citation Index Expanded (SCIE) | Social Sciences Citation Index (SSCI) |
|---|---|
| Indexed | - |
| Category (Journal Citation Reports 2024) | Quartile |
|---|---|
| COMPUTER SCIENCE, THEORY & METHODS | Q3 |
| LOGIC | Q1 |
H-index
43
Country/Area of Publication
UNITED STATES
Publisher
Association for Computing Machinery (ACM)
Publication Frequency
Quarterly
Annual Article Volume
35
Open Access
NO
Contact
ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701
Find Funding. Review Successful Grants.
Explore over 25,000 new funding opportunities and over 6,000,000 successful grants.
ExploreAdd your recorded webinar
Do you already have a recorded webinar? Grow your audience and get more views by easily listing your recording on Peeref.
Upload Now