友情提示：以下期刊信息可能会有更新，仅供参考，请在投稿前自行登录期刊官网仔细核实。
期刊名
ACM Transactions on Computational Logic
ACM T COMPUT LOG
ISSN / eISSN
1529-3785 / 1557-945X
目标和范围
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.
研究方向
计算机：理论方法
逻辑学
CiteScore
2.60
查看趋势图
CiteScore 学科排名
| 类别 | 分区 | 排名 |
|---|---|---|
| Mathematics - Logic | Q1 | #8/41 |
| Mathematics - Computational Mathematics | Q2 | #81/172 |
| Mathematics - General Computer Science | Q2 | #114/233 |
| Mathematics - Theoretical Computer Science | Q3 | #73/127 |
Web of Science 核心合集
| Science Citation Index Expanded (SCIE) | Social Sciences Citation Index (SSCI) |
|---|---|
| Indexed | - |
| 类别 (Journal Citation Reports 2023) | 分区 |
|---|---|
| COMPUTER SCIENCE, THEORY & METHODS - SCIE | Q4 |
| LOGIC - SCIE | Q4 |
H-index
43
出版国家或地区
UNITED STATES
出版商
Association for Computing Machinery (ACM)
出版周期
Quarterly
年文章数
27
Open Access
NO
通讯方式
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.
ExploreAsk a Question. Answer a Question.
Quickly pose questions to the entire community. Debate answers and get clarity on the most important issues facing researchers.
Get Started