ACM Transactions on Computational Logic 期刊简介
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.
TOCL欢迎与逻辑各个方面有关的提交,因为它与计算机科学主题有关。这一领域在计算机科学方面有着伟大的传统。获得ACM图灵奖的几位研究人员也为这一领域做出了贡献,分别是Edgar Codd (关系数据库系统),Stephen Cook (逻辑理论的复杂性),Edsger W. Dijkstra,Robert W. Floyd,Tony Hoare,Amir Pnueli,Dana Scott,Edmond M. Clarke,allen E. Emerson和Joseph Sifakis (程序逻辑,程序推导和验证,编程语言语义),Robin Milner (交互式定理证明,并发计算和函数编程),和John McCarthy (AI中的函数式编程和逻辑)。
逻辑在计算机科学中继续发挥重要作用,并已渗透到其几个领域,包括人工智能,计算复杂性,数据库系统,和编程语言。
本期刊的编辑委员会寻求并希望在上述所有计算逻辑领域吸引高质量的投稿,以便TOCL成为该领域的标准参考。
寻求理论和应用论文。展示逻辑在计算机科学中的新颖用法的提交尤其受欢迎。
期刊ISSN
|
1529-3785 |
影响指数
|
0.619 |
最新CiteScore值
|
2.50 查看CiteScore评价数据 |
最新自引率
|
8.60% |
官方指定润色网址
|
https://www.deeredit.com/?type=ss1 |
投稿语言要求
|
Improve the quality of the paper, eliminate grammar and spelling errors, increase readability, ensure accurate communication of viewpoints, enhance academic reputation, and increase the chances of the paper being accepted. 建议点击这个网址:https://www.deeredit.com/?type=ss2,资深审稿专家为您评估稿件质量,提供针对性改进建议,最终可助您极大提升目标期刊录用率 |
期刊官方网址
hot |
https://www.peipusci.com/?type=9 |
杂志社征稿网址
hot |
https://www.peipusci.com/?type=10 |
通讯地址
|
ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701 |
偏重的研究方向(学科)
|
工程技术-计算机:理论方法 |
出版周期
|
Quarterly |
出版年份
|
0 |
出版国家/地区
|
UNITED STATES |
是否OA
|
No |
SCI期刊coverage
|
Science Citation Index Expanded(科学引文索引扩展) |
NCBI查询
|
PubMed Central (PMC)链接 全文检索(pubmed central) |
最新中科院JCR分区
|
大类(学科)
小类(学科)
综述期刊
工程技术
COMPUTER SCIENCE, THEORY & METHODS(计算机:理论方法)4区
LOGIC(逻辑学)3区
否
|
|||||
最新的影响因子
|
0.619 | |||||
最新公布的期刊年发文量 |
|
|||||
总被引频次 | 43 | |||||
影响因子趋势图 |
近年的影响因子趋势图(整体平稳趋势)
|
2022年预警名单预测最新
最新CiteScore值
|
2.50
|
||||||||||||||||||||||
年文章数 | 34 | ||||||||||||||||||||||
SJR
|
0.593 | ||||||||||||||||||||||
SNIP
|
1.063 | ||||||||||||||||||||||
CiteScore排名
|
|
||||||||||||||||||||||
CiteScore趋势图 |
CiteScore趋势图
|
本刊同领域相关期刊
|
|
期刊名称 | IF值 |
JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING | 0.852 |
JOURNAL OF LOGIC AND COMPUTATION | 0.412 |
Logical Methods in Computer Science | 0.434 |
ACM Transactions on Computational Logic | 0.619 |
Journal of Logical and Algebraic Methods in Programming | 0.575 |
THEORY AND PRACTICE OF LOGIC PROGRAMMING | 0.74 |
Studia Logica | 0.579 |
Review of Symbolic Logic | 0.99 |
JOURNAL OF SYMBOLIC LOGIC | 0.507 |
本刊同分区等级的相关期刊
|
|
期刊名称 | IF值 |
JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING | 0.852 |
JOURNAL OF LOGIC AND COMPUTATION | 0.412 |
Logical Methods in Computer Science | 0.434 |
ACM Transactions on Computational Logic | 0.619 |
Journal of Logical and Algebraic Methods in Programming | 0.575 |
THEORY AND PRACTICE OF LOGIC PROGRAMMING | 0.74 |
Studia Logica | 0.579 |
Review of Symbolic Logic | 0.99 |
JOURNAL OF SYMBOLIC LOGIC | 0.507 |
分享者 | 点评内容 |