您当前位置：首页 > 国际期刊-Journal of Logical and Algebraic Methods in Programming期刊投稿发表详细信息

Journal of Logical and Algebraic Methods in Programming Q1

期刊收录：
SCIE
Scopus

基本信息

期刊ISSN：
2352-2208
期刊简拼：
J LOG ALGEBR METHODS
年发文章数：
44
E-ISSN：
2352-2216
Gold OA文章占比
41.51%
研究文章占比：
100.00%
是否OA：
No
Jcr分区：
Q1
中科院分区：
4区

出版信息

出版商：
Elsevier BV
涉及研究方向：
COMPUTER SCIENCE, THEORY & METHODS-LOGIC
出版国家：
UNITED STATES
出版语言：
English
出版周期：
出版年份：

2023-2024最新影响因子:0.7
自引率:28.60%
五年影响因子:0.7
JCI期刊引文指标:0.78
h-index:9
CiteScore:2.60

期刊关键词

1区 SCIE Scopus 数学 4区 COMPUTER SCIENCE THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学

期刊简介

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》期刊已被查看：次
期刊简写：J LOG ALGEBR METHODS

此期刊被最新的JCR期刊SCIE收录