大類學(xué)科:數(shù)學(xué) 中科院分區(qū) 4區(qū)
JCR學(xué)科:COMPUTER SCIENCE, THEORY & METHODS、LOGIC JCR分區(qū) Q1
推薦合適期刊 投稿指導(dǎo) 助力快速見刊免費(fèi)咨詢
Acm Transactions On Computational Logic是數(shù)學(xué)領(lǐng)域的一本優(yōu)秀期刊。由Association for Computing Machinery (ACM)出版社出版。該期刊主要發(fā)表數(shù)學(xué)領(lǐng)域的原創(chuàng)性研究成果。創(chuàng)刊于2000年,該期刊主要刊載工程技術(shù)-計(jì)算機(jī):理論方法及其基礎(chǔ)研究的前瞻性、原始性、首創(chuàng)性研究成果、科技成就和進(jìn)展。該期刊不僅收錄了該領(lǐng)域的科技成就和進(jìn)展,更以其深厚的學(xué)術(shù)積淀和卓越的審稿標(biāo)準(zhǔn),確保每篇文章都具備高度的學(xué)術(shù)價(jià)值。此外,該刊同時(shí)被SCIE數(shù)據(jù)庫收錄,并被劃分為中科院SCI4區(qū)期刊,它始終堅(jiān)持創(chuàng)新,不斷專注于發(fā)布高度有價(jià)值的研究成果,不斷推動數(shù)學(xué)領(lǐng)域的進(jìn)步。
同時(shí),我們注重來稿文章表述的清晰度,以及其與我們的讀者群體和研究領(lǐng)域的相關(guān)性。為此,我們期待所有投稿的文章能夠保持簡潔明了、組織有序、表述清晰。該期刊平均審稿速度為平均 12周,或約稿 。若您對于稿件是否適合該期刊存在疑慮,建議您在提交前主動與期刊主編取得聯(lián)系,或咨詢本站的客服老師。我們的客服老師將根據(jù)您的研究內(nèi)容和方向,為您推薦最為合適的期刊,助力您順利投稿,實(shí)現(xiàn)學(xué)術(shù)成果的順利發(fā)表。
大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
數(shù)學(xué) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 LOGIC 邏輯學(xué) | 4區(qū) 4區(qū) | 否 | 否 |
大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 LOGIC 邏輯學(xué) | 3區(qū) 3區(qū) | 否 | 否 |
大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
計(jì)算機(jī)科學(xué) | 3區(qū) | LOGIC 邏輯學(xué) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 | 2區(qū) 3區(qū) | 否 | 否 |
大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
工程技術(shù) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 LOGIC 邏輯學(xué) | 4區(qū) 3區(qū) | 否 | 否 |
大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
計(jì)算機(jī)科學(xué) | 3區(qū) | LOGIC 邏輯學(xué) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 | 2區(qū) 3區(qū) | 否 | 否 |
大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
計(jì)算機(jī)科學(xué) | 3區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 LOGIC 邏輯學(xué) | 3區(qū) 3區(qū) | 否 | 否 |
按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% |
學(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% |
年份 | 2014 | 2015 | 2016 | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023 |
年發(fā)文量 | 35 | 42 | 25 | 33 | 31 | 25 | 34 | 26 | 27 | 35 |
國家/地區(qū) | 數(shù)量 |
England | 24 |
France | 23 |
GERMANY (FED REP GER) | 23 |
Italy | 11 |
USA | 9 |
Poland | 8 |
Netherlands | 7 |
Australia | 5 |
Finland | 5 |
Spain | 5 |
機(jī)構(gòu) | 數(shù)量 |
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS) | 14 |
UNIVERSITY OF OXFORD | 7 |
UNIVERSITY OF LONDON | 5 |
UNIVERSITY OF WARSAW | 5 |
UNIVERSITE DE PARIS | 4 |
UNIVERSITY OF AMSTERDAM | 4 |
UNIVERSITY OF BREMEN | 4 |
UNIVERSITY OF ERLANGEN NUREMBERG | 4 |
UNIVERSITY OF LIVERPOOL | 4 |
UNIVERSITY OF LUXEMBOURG | 4 |
文章名稱 | 引用次數(shù) |
Modularisation of Sequent Calculi for Normal and Non-normal Modalities | 3 |
Are Short Proofs Narrow? QBF Resolution Is Not So Simple | 3 |
Checking Admissibility Using Natural Dualities | 3 |
A Higher-Order Calculus of Computational Fields | 3 |
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison | 2 |
Path Categories and Propositional Identity Types | 2 |
An Epistemic Strategy Logic | 2 |
Some Subsystems of Constant-Depth Frege with Parity | 2 |
Fast Query Answering over Existential Rules | 2 |
Reasoning about Cognitive Trust in Stochastic Multiagent Systems | 1 |
SCIE
影響因子 0.3
SCIE
影響因子 0.8
SCIE
影響因子 1.3
CiteScore 2.3
SCIE
影響因子 1
CiteScore 1.6
SCIE
影響因子 2.4
CiteScore 3.7
SCIE
影響因子 0.2
CiteScore 0.8
SCIE
影響因子 0.9
CiteScore 3.3
SCIE
影響因子 4.4
CiteScore 6.2
SCIE
影響因子 1
CiteScore 1.6
SCIE
影響因子 1.4
CiteScore 3.9
若用戶需要出版服務(wù),請聯(lián)系出版商:ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701。