您现在的位置是:首页SCI期刊Journal of Logical and Algebraic Methods in Programming(程序设计中的逻辑和代数方法杂志)
Journal of Logical and Algebraic Methods in Programming

Journal of Logical and Algebraic Methods in Programming SCISCIE

程序设计中的逻辑和代数方法杂志

2352-2208

工程技术

No

J LOG ALGEBR METHODS

0

56

UNITED STATES

http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming/

4区中科院分区

1.2影响因子

计算机:理论方法小学科

1/27JIF RANK

446总被引频次

月期刊平台服务过的文章录用时间为1-3个月,依据20年经验,经月期刊专家预审通过后的文章,投稿通过率100%以上!
SCI三剑客

中文简介

《程序设计中的逻辑和代数方法》是一份国际性的期刊,旨在发表高质量的原创研究论文、调查和评论文章、教程演示以及历史研究,内容涉及逻辑和代数方法和技术,以确保程序的正确性和可执行性,以及一般的计算系统。所有方面都将包括,特别是理论和基础,实施问题,以及涉及新思想的应用。杂志感兴趣的主题包括:?代数、代数余和范畴在编程中的应用?证明理论和模型理论在编程中的应用?约束编程?编程范例的基础?逻辑编程?程序安全性的逻辑基础?网络物理系统的模型和分析模型?过程结石?编程模型?系统分析的定量方法?系统规范和验证《编程中的逻辑和代数方法》杂志对爱思唯尔的计算机编程科学和理论计算机科学进行了补充,其重点是在编程和开发可信计算系统的基础上应用逻辑、代数和分类方法。

http://www.evise.com/evise/faces/pages/navigation/NavController.jspx?JRNL_ACR=JLAMP

英文简介

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.Topics of interest to the journal include: ? Applications of algebras, co-algebra and categories to programming? Applications of proof theory and model theory to programming? Constraint programming? Foundations of Programming Paradigms? Logic programming? Logical Foundations of Program Security? Models and Analytical Models for Cyber-Physical Systems? Process Calculi? Programming Models? Quantitative Methods for System Analysis? Specification and verification of systemsThe Journal of Logical and Algebraic Methods in Programming complements Elsevier's Science of Computer Programming and Theoretical Computer Science by its focus on the foundations and the application of logical, algebraic and categorical methods to programming and to the development of trustworthy computing systems.

中科院分区(数据版本:2021年12月最新升级版)

大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 3区 LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 2区 3区

JCR分区

JCR分区等级 JCR所属学科 分区 影响因子
Q1 LOGIC Q1 1.088
COMPUTER SCIENCE, THEORY & METHODS Q3

CiteScore数值

CiteScore SJR SNIP 学科类别 分区 排名 百分位
3.00 0.615 1.179 大类:Mathematics 小类:Logic Q1 7 / 41

84%

大类:Mathematics 小类:Computational Theory and Mathematics Q2 60 / 147

59%

大类:Mathematics 小类:Theoretical Computer Science Q2 55 / 123

55%

大类:Mathematics 小类:Software Q3 232 / 398

41%

SCI服务流程
服务流程
常见问题
Q&A
我们都知道SCI根据期刊的影响因子而划分了四个不同的分区,分别是一区二区三区四区,各区期刊的价值性也是有所差异
关于土壤学方向的期刊也是不在少数的,尤其是被SCI所收录的刊物备受关注,根据期刊分区情况来看,近来不少作者让推
医学综述的写作方式比较灵活,因此也是越来越多的医生工作人员的选择,尤其是对于没有时间来做科研实验的医生作者
最近有作者想要优质的ssci材料顶刊,其实ssci作为社会科学引文索引,主要侧重于收录社科类的,如涉及经济、法律、管

影响因子趋势图

H-index

影响因子 h-index Gold OA文章占比 研究类文章占比 OA开放访问 平均审稿速度
1.088 9 10.24% 100.00% 未开放 --

自引率趋势图

工程技术方向的SCI期刊推荐
R&J
工程技术类的期刊也是有不少的,尤其是被SCI所收录的,这里也是整理了一些 容易Accept的10个工程技术类SCI期刊 ,希望所...
工程技术,指的是工程实用技术。工程技术亦称生产技术,是在工业生产中实际应用的技术。就是说人们应用科学知识或...
我们都知道SCI收录所涉及的范围是非常广的,尤其是作为《科学引文索引》,主要是侧重于理科方向的,因此工程技术类...
在医学和工程技术领域,好投稿的ESCI期刊众多,但是否好投稿,还要看论文的质量、创新性和数据的真实性。以下是对为...
工程技术亦称生产技术,是在工业生产中实际应用的技术。就是说人们应用科学知识或利用技术发展的研究成果于工业生...