《Journal Of Logical And Algebraic Methods In Programming》出版语言：English，具体论文语言需根据相关征稿要求而定，可联系杂志社或在线客服。
该杂志是一本由Elsevier BV出版的国际知名学术期刊，创刊于2014年，出版语言：English，专注于COMPUTER SCIENCE, THEORY & METHODS-LOGIC领域，重点介绍COMPUTER SCIENCE, THEORY & METHODS-LOGIC的最新关键主题。每篇文章都是对该主题的最新、完整的总结，方便尚未深入研究的人阅读。
《编程中的逻辑和代数方法杂志》是一本国际期刊，旨在发表高质量的原创研究论文、调查和评论文章、教程阐述和历史研究，涉及逻辑和代数方法和技术领域，以保证程序和一般计算系统的正确性和可执行性。将涵盖所有方面，尤其是理论和基础、实施问题以及涉及新想法的应用。
此外，关于《Journal Of Logical And Algebraic Methods In Programming》的数据统计如下：
（1）JCR分区信息：按JIF指标学科分区：Q3，按JCI指标学科分区：Q2
JCR分区信息
Journal Of Logical And Algebraic Methods In Programming（2023-2024年最新版数据）
| 按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%
|
汤森路透每年出版一本《期刊引用报告》（Journal Citation Reports，简称JCR）。JCR对86000多种SCI期刊的影响因子（Impact Factor）等指数加以统计。JCR将收录期刊分为176个不同学科类别在JCR的Journal Ranking中，主要参考当年IF，最终每个分区的期刊数量是均分的。
（2）Cite Score（2024年最新版）
Cite Score（2024年最新版）
- CiteScore：2.6
- SJR：0.577
- SNIP：1.034
| 学科类别 | 分区 | 排名 | 百分位 |
| 大类：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%
|
CiteScore：该指标由Elsevier于2016年提出，指期刊发表的单篇文章平均被引用次数。CiteScorer的计算方式是：例如，某期刊2022年CiteScore的计算方法是该期刊在2019年、2020年和2021年发表的文章在2022年获得的被引次数，除以该期刊2019年、2020年和2021发表并收录于Scopus中的文章数量总和。
（3）在中科院分区表中，大类学科中数学为：4区，小类学科中COMPUTER SCIENCE, THEORY & METHODSCOMPUTER SCIENCE, THEORY & METHODS-LOGIC：4区
中科院分区信息
程序设计中的逻辑和代数方法杂志2023年12月升级版
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 数学 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 | 4区 4区 | 否 | 否 |
程序设计中的逻辑和代数方法杂志2022年12月升级版
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 | 2区 3区 | 否 | 否 |
程序设计中的逻辑和代数方法杂志2021年12月旧的升级版
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 | 2区 3区 | 否 | 否 |
程序设计中的逻辑和代数方法杂志2021年12月基础版
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 工程技术 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 | 4区 3区 | 否 | 否 |
程序设计中的逻辑和代数方法杂志2021年12月升级版
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 | 2区 3区 | 否 | 否 |
程序设计中的逻辑和代数方法杂志2020年12月旧的升级版
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 | 2区 3区 | 否 | 否 |
中科院JCR期刊分区（又称分区表、分区数据）是中国科学院文献情报中心世界科学前沿分析中心的科学研究成果。在中科院期刊分区表中，主要参考3年平均IF作为学术影响力，最终每个分区的期刊累积学术影响力是相同的，各区的期刊数量由高到底呈金字塔式分布。
投稿咨询声明：本信息依据互联网公开资料整理，若存在错误，请及时联系我们及时更正。
