Acm Transactions On Computational Logic SCIE

國(guó)際簡(jiǎn)稱：ACM T COMPUT LOG 參考譯名：計(jì)算邏輯上的 Acm 事務(wù)

主要研究方向：工程技術(shù)-計(jì)算機(jī)：理論方法非預(yù)警期刊審稿周期： 12周，或約稿

《計(jì)算邏輯上的 Acm 事務(wù)》(Acm Transactions On Computational Logic)是一本由Association for Computing Machinery (ACM)出版的以工程技術(shù)-計(jì)算機(jī)：理論方法為研究特色的國(guó)際期刊，發(fā)表該領(lǐng)域相關(guān)的原創(chuàng)研究文章、評(píng)論文章和綜述文章，及時(shí)報(bào)道該領(lǐng)域相關(guān)理論、實(shí)踐和應(yīng)用學(xué)科的最新發(fā)現(xiàn)，旨在促進(jìn)該學(xué)科領(lǐng)域科學(xué)信息的快速交流。該期刊是一本未開放期刊，近三年沒有被列入預(yù)警名單。

4區(qū) 中科院分區(qū)
Q1 JCR分區(qū)
35 年發(fā)文量
0.7 IF影響因子
未開放 是否OA
43 H-index
2000 創(chuàng)刊年份
Quarterly 出版周期
English 出版語(yǔ)言

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.

[ 查看全部 ]

投稿咨詢加急咨詢

Acm Transactions On Computational Logic期刊信息

ISSN：1529-3785
出版語(yǔ)言：English
是否OA：未開放
E-ISSN：1557-945X
出版地區(qū)：UNITED STATES
是否預(yù)警：否
出版商：Association for Computing Machinery (ACM)
出版周期：Quarterly
創(chuàng)刊時(shí)間：2000
開源占比：0
Gold OA文章占比：3.41%
OA被引用占比：0
出版國(guó)人文章占比：0.01
出版撤稿占比：0
研究類文章占比：100.00%

Acm Transactions On Computational Logic CiteScore評(píng)價(jià)數(shù)據(jù)（2024年最新版）

CiteScore

SJR

SNIP

CiteScore 指數(shù)

2.3

0.876

1.231

學(xué)科類別	分區(qū)	排名	百分位
大類：Mathematics 小類：Logic	Q2	11 / 41	73%
大類：Mathematics 小類：Computational Mathematics	Q3	99 / 189	47%
大類：Mathematics 小類：General Computer Science	Q3	135 / 232	42%
大類：Mathematics 小類：Theoretical Computer Science	Q3	81 / 130	37%

名詞解釋：CiteScore 是衡量期刊所發(fā)表文獻(xiàn)的平均受引用次數(shù)，是在 Scopus 中衡量期刊影響力的另一個(gè)指標(biāo)。當(dāng)年CiteScore 的計(jì)算依據(jù)是期刊最近4年（含計(jì)算年度）的被引次數(shù)除以該期刊近四年發(fā)表的文獻(xiàn)數(shù)。例如，2022年的 CiteScore 計(jì)算方法為：2022年的 CiteScore =2019-2022年收到的對(duì)2019-2022年發(fā)表的文件的引用數(shù)量÷2019-2022年發(fā)布的文獻(xiàn)數(shù)量注：文獻(xiàn)類型包括：文章、評(píng)論、會(huì)議論文、書籍章節(jié)和數(shù)據(jù)論文。

Acm Transactions On Computational Logic中科院評(píng)價(jià)數(shù)據(jù)

中科院 2023年12月升級(jí)版

Top期刊	綜述期刊	大類學(xué)科		小類學(xué)科
否	否	數(shù)學(xué)	4區(qū)	COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 LOGIC 邏輯學(xué)	4區(qū) 4區(qū)

中科院 2022年12月升級(jí)版

Top期刊	綜述期刊	大類學(xué)科		小類學(xué)科
否	否	計(jì)算機(jī)科學(xué)	4區(qū)	COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 LOGIC 邏輯學(xué)	3區(qū) 3區(qū)

中科院 2021年12月舊的升級(jí)版

Top期刊	綜述期刊	大類學(xué)科		小類學(xué)科
否	否	計(jì)算機(jī)科學(xué)	3區(qū)	LOGIC 邏輯學(xué) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法	2區(qū) 3區(qū)

中科院 2021年12月基礎(chǔ)版

Top期刊	綜述期刊	大類學(xué)科		小類學(xué)科
否	否	工程技術(shù)	4區(qū)	COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 LOGIC 邏輯學(xué)	4區(qū) 3區(qū)

中科院 2021年12月升級(jí)版

Top期刊	綜述期刊	大類學(xué)科		小類學(xué)科
否	否	計(jì)算機(jī)科學(xué)	3區(qū)	LOGIC 邏輯學(xué) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法	2區(qū) 3區(qū)

中科院 2020年12月舊的升級(jí)版

Top期刊	綜述期刊	大類學(xué)科		小類學(xué)科
否	否	計(jì)算機(jī)科學(xué)	3區(qū)	COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 LOGIC 邏輯學(xué)	3區(qū) 3區(qū)

Acm Transactions On Computational Logic JCR評(píng)價(jià)數(shù)據(jù)（2023-2024年最新版）

按JIF指標(biāo)學(xué)科分區(qū)	收錄子集	分區(qū)	排名	百分位
學(xué)科：COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q3	104 / 143	27.6%
學(xué)科：LOGIC	SCIE	Q1	4 / 25	86%

按JCI指標(biāo)學(xué)科分區(qū)	收錄子集	分區(qū)	排名	百分位
學(xué)科：COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q2	58 / 143	59.79%
學(xué)科：LOGIC	SCIE	Q2	12 / 25	54%