推荐合适期刊 投稿指导 助力快速见刊
Journal Of Logical And Algebraic Methods In Programming是数学领域的一本优秀期刊。由Elsevier BV出版社出版。该期刊主要发表数学领域的原创性研究成果。创刊于2014年，该期刊主要刊载COMPUTER SCIENCE, THEORY & METHODS-LOGIC及其基础研究的前瞻性、原始性、首创性研究成果、科技成就和进展。该期刊不仅收录了该领域的科技成就和进展，更以其深厚的学术积淀和卓越的审稿标准，确保每篇文章都具备高度的学术价值。此外，该刊同时被SCIE数据库收录，并被划分为中科院SCI4区期刊，它始终坚持创新，不断专注于发布高度有价值的研究成果，不断推动数学领域的进步。
同时，我们注重来稿文章表述的清晰度，以及其与我们的读者群体和研究领域的相关性。为此，我们期待所有投稿的文章能够保持简洁明了、组织有序、表述清晰。该期刊平均审稿速度为平均 。若您对于稿件是否适合该期刊存在疑虑，建议您在提交前主动与期刊主编取得联系，或咨询本站的客服老师。我们的客服老师将根据您的研究内容和方向，为您推荐最为合适的期刊，助力您顺利投稿，实现学术成果的顺利发表。
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 数学 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 | 4区 4区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 | 2区 3区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 | 2区 3区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 工程技术 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 | 4区 3区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 | 2区 3区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 | 2区 3区 | 否 | 否 |
| 按JIF指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q3 | 104 / 143 |
27.6% |
| 学科：LOGIC | SCIE | Q1 | 4 / 25 |
86% |
| 按JCI指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q2 | 45 / 143 |
68.88% |
| 学科：LOGIC | SCIE | Q2 | 8 / 25 |
70% |
| 学科类别 | 分区 | 排名 | 百分位 |
| 大类：Mathematics 小类：Logic | Q1 | 9 / 41 |
79% |
| 大类：Mathematics 小类：Computational Theory and Mathematics | Q3 | 91 / 176 |
48% |
| 大类：Mathematics 小类：Theoretical Computer Science | Q3 | 70 / 130 |
46% |
| 大类：Mathematics 小类：Software | Q3 | 276 / 407 |
32% |
| 年份 | 2014 | 2015 | 2016 | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023 |
| 年发文量 | 22 | 43 | 58 | 56 | 55 | 62 | 40 | 64 | 46 | 44 |
| 国家/地区 | 数量 |
| Italy | 35 |
| France | 27 |
| England | 24 |
| GERMANY (FED REP GER) | 23 |
| Spain | 21 |
| USA | 19 |
| Sweden | 16 |
| Norway | 13 |
| Denmark | 12 |
| Netherlands | 12 |
| 机构 | 数量 |
| CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS) | 16 |
| INRIA | 13 |
| UNIVERSITY OF BOLOGNA | 9 |
| UNIVERSITY OF PISA | 9 |
| UNIVERSITAT POLITECNICA DE VALENCIA | 8 |
| UNIVERSITY OF LONDON | 8 |
| UNIVERSITY OF OSLO | 8 |
| COMPLUTENSE UNIVERSITY OF MADRID | 7 |
| CHALMERS UNIVERSITY OF TECHNOLOGY | 5 |
| ROYAL INSTITUTE OF TECHNOLOGY | 5 |
| 文章名称 | 引用次数 |
| Metalevel algorithms for variant satisfiability | 4 |
| From distributed coordination to field calculus and aggregate computing | 4 |
| On the essence and initiality of conflicts in M-adhesive transformation systems | 3 |
| From probability monads to commutative effectuses | 3 |
| Multilevel coupled model transformations for precise and reusable definition of model behaviour | 3 |
| Model checking and synthesis for branching multi-weighted logics | 2 |
| A logic-algebraic tool for reasoning with Knowledge-Based Systems | 2 |
| Verification of finite-state machines: A distributed approach | 2 |
| Sequential pattern mining for ICT risk assessment and management | 2 |
| Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours | 2 |
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
若用户需要出版服务，请联系出版商：STE 800, 230 PARK AVE, NEW YORK, USA, NY, 10169。