Journal Of Logical And Algebraic Methods In ProgrammingSCIE
国际简称：J LOG ALGEBR METHODS 参考译名：程序设计中的逻辑和代数方法杂志
- 基本信息：
- ISSN：2352-2208
- E-ISSN：2352-2216
- 是否OA：未开放
- 是否预警：否
- TOP期刊：否
- 出版信息：
- 出版地区：UNITED STATES
- 出版商：Elsevier BV
- 出版语言：English
- 出版周期：6 issues/year
- 出版年份：2014
- 研究方向：COMPUTER SCIENCE, THEORY & METHODS-LOGIC
- 评价信息：
- 影响因子：0.7
- H-index：9
- CiteScore指数：2.6
- SJR指数：0.577
- SNIP指数：1.034
- 发文数据：
- Gold OA文章占比：41.51%
- 研究类文章占比：100.00%
- 年发文量：44
- 自引率：0.2222...
- 开源占比：0.1533
- 出版撤稿占比：0
- 出版国人文章占比：0.01
- OA被引用占比：0.0263...
英文简介Journal Of Logical And Algebraic Methods In Programming期刊介绍
The Journal of Logical and Algebraic Methods in Programming is an international journal whose aim is to publish high quality, original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for guaranteeing correctness and performability of programs and in general of computing systems. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas.
期刊简介Journal Of Logical And Algebraic Methods In Programming期刊介绍
《Journal Of Logical And Algebraic Methods In Programming》自2014出版以来，是一本数学优秀杂志。致力于发表原创科学研究结果，并为数学各个领域的原创研究提供一个展示平台，以促进数学领域的的进步。该刊鼓励先进的、清晰的阐述，从广泛的视角提供当前感兴趣的研究主题的新见解，或审查多年来某个重要领域的所有重要发展。该期刊特色在于及时报道数学领域的最新进展和新发现新突破等。该刊近一年未被列入预警期刊名单，目前已被权威数据库SCIE收录，得到了广泛的认可。
该期刊投稿重要关注点：
Cite Score数据（2024年最新版）Journal Of Logical And Algebraic Methods In Programming Cite Score数据
- 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(爱思唯尔)推出的另一种评价期刊影响力的文献计量指标。反映出一家期刊近期发表论文的年篇均引用次数。CiteScore以Scopus数据库中收集的引文为基础，针对的是前四年发表的论文的引文。CiteScore的意义在于，它可以为学术界提供一种新的、更全面、更客观地评价期刊影响力的方法，而不仅仅是通过影响因子(IF)这一单一指标来评价。
中科院SCI分区Journal Of Logical And Algebraic Methods In Programming 中科院分区
| 大类学科 | 分区 | 小类学科 | 分区 |
| 数学 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 | 4区 4区 |
中科院分区表 是以客观数据为基础，运用科学计量学方法对国际、国内学术期刊依据影响力进行等级划分的期刊评价标准。它为我国科研、教育机构的管理人员、科研工作者提供了一份评价国际学术期刊影响力的参考数据，得到了全国各地高校、科研机构的广泛认可。
中科院分区表 将所有期刊按照一定指标划分为1区、2区、3区、4区四个层次，类似于“优、良、及格”等。最开始，这个分区只是为了方便图书管理及图书情报领域的研究和期刊评估。之后中科院分区逐步发展成为了一种评价学术期刊质量的重要工具。
JCR分区Journal Of Logical And Algebraic Methods In Programming JCR分区
| 按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% |
JCR分区的优势在于它可以帮助读者对学术文献质量进行评估。不同学科的文章引用量可能存在较大的差异，此时单独依靠影响因子(IF)评价期刊的质量可能是存在一定问题的。因此，JCR将期刊按照学科门类和影响因子分为不同的分区，这样读者可以根据自己的研究领域和需求选择合适的期刊。
发文数据
- 国家/地区数量
- Italy35
- France27
- England24
- GERMANY (FED REP GER)23
- Spain21
- USA19
- Sweden16
- Norway13
- Denmark12
- Netherlands12
本刊中国学者近年发表论文
-
1、A denotational semantics of Simulink with higher-order UTP
Author: Xu, Xiong; Zhan, Bohua; Wang, Shuling; Talpin, Jean-Pierre; Zhan, Naijun
Journal: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING. 2023; Vol. 130, Issue , pp. -. DOI: 10.1016/j.jlamp.2022.100809
-
2、Formalization of the inverse kinematics of three-fingered dexterous hand
Author: Wang, Guohui; Chen, Shanyan; Guan, Yong; Shi, Zhiping; Li, Ximeng; Zhang, Jingzhi
Journal: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING. 2023; Vol. 133, Issue , pp. -. DOI: 10.1016/j.jlamp.2023.100861
-
3、Robustness of interval-valued fuzzy inference triple I algorithms based on normalized Minkowski distance
Author: Minxia Luo, Bei Liu
Journal: Journal of Logical and Algebraic Methods in Programming, 2017, Vol.86, 298-307, DOI:10.1016/j.jlamp.2016.09.006
-
4、Developments in concurrent Kleene algebra
Author: Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Huibiao Zhu
Journal: Journal of Logical and Algebraic Methods in Programming, 2016, Vol.85, 617-636, DOI:10.1016/j.jlamp.2015.09.012
-
5、An optimal resource sharing protocol for generalized multiframe tasks
Author: Pontus Ekberg, Nan Guan, Martin Stigge, Wang Yi
Journal: Journal of Logical and Algebraic Methods in Programming, 2015, Vol.84, 92-105, DOI:10.1016/j.jlamp.2014.10.001
投稿常见问题
-
请问这本期刊属于什么级别呢？可用于职称评定吗？
一般刊物只分省级、国家级、核心，期刊本身是没有几类划分的，具体是几类或者几级，您可以对照单位的分类文件确认一下。Journal Of Logical And Algebraic Methods In Programming杂志是由Elsevier BV出版的一本SCIE，可用于职称评定。
-
你们能够提供哪些核心期刊的咨询服务？
大多数核心期刊我们都是可以提供咨询服务的。目前核心期刊主要分为以下几类：1.国内核心：按照权威度排序，社科类：南大核心>南大扩展>北大核心>科技核心 按照权威度排序。工科类：CSCD C库>CSCD E库（相当于CSCD扩展）>北大核心>科技核心。2.国外核心（全英文）：按照权威度排序为：SSCI=SCI>EI>ISTP=CPCI。
-
想快速发表，可以加急吗？
为了确保您的职称评定顺利进行，我们建议提前半年到一年开始准备，这样能够保证有充足的时间来处理所有相关事宜。如果客户需要加急服务，我们会与杂志社进行沟通，以确定是否可以提供加急服务。请注意，如果确认可以加急，可能会收取一定的加急费用。
-
你们提供的服务可以确保稿件被发表吗？
期刊编辑会综合考虑多个因素，如发表范围、学术价值和原创性等，对稿件进行综合评估。尽管任何机构均无法保证每篇稿件都会被发表，但我们可以用专业知识和丰富经验，协助您理解并遵循期刊的发表要求，从而提高您的稿件被发表的机率。
-
请问期刊发表的费用如何？
期刊发表的费用因期刊不同而异。根据您的需求，我们会为您推荐性价比最高的期刊，并提供专业的期刊供您选择。一般来说，只要符合职称要求，大多数作者都会选择性价比最高的期刊作为意向期刊进行重点咨询。我们会为您提供详细的期刊信息和费用说明，以确保您能够做出明智的选择。
-
如果稿件被拒，未能成功发表，费用是否可以退还？
一般来说，我们推荐的期刊和您的专业方向、文章情况都是匹配的，极少出现稿件被拒的情况。如果稿件被拒，期刊编辑会提供详细的拒稿信和建议，以帮助您了解拒稿原因并改进您的稿件。关于退款政策，具体情况可能因期刊不同而异，请您咨询我们的工作人员以获取详细信息。
相关期刊推荐
-
Journal De L Ecole Polytechnique-mathematiques
中科院 2区 JCR Q1
大类：数学
-
Journal Of Partial Differential Equations
中科院 4区 JCR Q4
大类：数学
-
Journal Of Mathematical Study
中科院 4区 JCR Q2
大类：数学
-
Discrete Analysis
中科院 3区 JCR Q1
大类：数学
-
Annals Of Pde
中科院 1区 JCR Q1
大类：数学
-
Houston Journal Of Mathematics
中科院 4区 JCR Q4
大类：数学
热门期刊推荐
-
Electronic Journal Of Statistics
中科院 4区 JCR Q3
-
Mathematics
中科院 3区 JCR Q1
-
Journal De L Ecole Polytechnique-mathematiques
中科院 2区 JCR Q1
-
Annals Of Pde
中科院 1区 JCR Q1
-
Journal Of Mathematical Study
中科院 4区 JCR Q2
-
Advances In Continuous And Discrete Models
中科院 2区 JCR Q1
-
Mathematical Methods In The Applied Sciences
中科院 3区 JCR Q1
-
Journal Of The Operations Research Society Of China
中科院 4区 JCR Q4