《Journal Of Logical And Algebraic Methods In Programming》是一本由Elsevier BV出版商出版的數(shù)學(xué)國際刊物，國際簡稱為J LOG ALGEBR METHODS，中文名稱程序設(shè)計(jì)中的邏輯和代數(shù)方法雜志。該刊創(chuàng)刊于2014年，出版周期為6 issues/year。
《Journal Of Logical And Algebraic Methods In Programming》2023年影響因子為0.7，被收錄于國際知名權(quán)威數(shù)據(jù)庫SCIE。
Journal Of Logical And Algebraic Methods In Programming 雜志簡介
《Journal Of Logical And Algebraic Methods In Programming》重點(diǎn)專注發(fā)布COMPUTER SCIENCE, THEORY & METHODS-LOGIC領(lǐng)域的新研究，旨在促進(jìn)和傳播該領(lǐng)域相關(guān)的新技術(shù)和新知識(shí)。鼓勵(lì)該領(lǐng)域研究者詳細(xì)地發(fā)表他們的高質(zhì)量實(shí)驗(yàn)研究和理論結(jié)果。該雜志創(chuàng)刊至今，在COMPUTER SCIENCE, THEORY & METHODS-LOGIC領(lǐng)域，有較高影響力，對(duì)來稿文章質(zhì)量要求較高，稿件投稿過審難度較大。歡迎廣大同領(lǐng)域研究者投稿該雜志。
Journal Of Logical And Algebraic Methods In Programming 雜志中科院分區(qū)
中科院SCI分區(qū)數(shù)據(jù)
中科院SCI期刊分區(qū)（2023年12月升級(jí)版）
大類學(xué)科
分區(qū)
小類學(xué)科
分區(qū)
Top期刊
綜述期刊
數(shù)學(xué)
4區(qū)
COMPUTER SCIENCE, THEORY & METHODS計(jì)算機(jī)：理論方法LOGIC邏輯學(xué)
4區(qū)4區(qū)
否
否
中科院SCI期刊分區(qū)（2022年12月升級(jí)版）
大類學(xué)科
分區(qū)
小類學(xué)科
分區(qū)
Top期刊
綜述期刊
計(jì)算機(jī)科學(xué)
3區(qū)
LOGIC邏輯學(xué)COMPUTER SCIENCE, THEORY & METHODS計(jì)算機(jī)：理論方法
2區(qū)3區(qū)
否
否
中科院SCI期刊分區(qū)（2021年12月舊的升級(jí)版）
大類學(xué)科
分區(qū)
小類學(xué)科
分區(qū)
Top期刊
綜述期刊
計(jì)算機(jī)科學(xué)
3區(qū)
LOGIC邏輯學(xué)COMPUTER SCIENCE, THEORY & METHODS計(jì)算機(jī)：理論方法
2區(qū)3區(qū)
否
否
中科院SCI期刊分區(qū)（2021年12月基礎(chǔ)版）
大類學(xué)科
分區(qū)
小類學(xué)科
分區(qū)
Top期刊
綜述期刊
工程技術(shù)
4區(qū)
COMPUTER SCIENCE, THEORY & METHODS計(jì)算機(jī)：理論方法LOGIC邏輯學(xué)
4區(qū)3區(qū)
否
否
中科院SCI期刊分區(qū)（2021年12月升級(jí)版）
大類學(xué)科
分區(qū)
小類學(xué)科
分區(qū)
Top期刊
綜述期刊
計(jì)算機(jī)科學(xué)
3區(qū)
LOGIC邏輯學(xué)COMPUTER SCIENCE, THEORY & METHODS計(jì)算機(jī)：理論方法
2區(qū)3區(qū)
否
否
中科院SCI期刊分區(qū)（2020年12月舊的升級(jí)版）
大類學(xué)科
分區(qū)
小類學(xué)科
分區(qū)
Top期刊
綜述期刊
計(jì)算機(jī)科學(xué)
3區(qū)
LOGIC邏輯學(xué)COMPUTER SCIENCE, THEORY & METHODS計(jì)算機(jī)：理論方法
Journal Of Logical And Algebraic Methods In Programming 雜志發(fā)文統(tǒng)計(jì)
文章名稱引用次數(shù)
Metalevel algorithms for variant satisfiability4
From distributed coordination to field calculus and aggregate computing4
On the essence and initiality of conflicts in M-adhesive transformation systems3
From probability monads to commutative effectuses3
Multilevel coupled model transformations for precise and reusable definition of model behaviour3
Model checking and synthesis for branching multi-weighted logics2
A logic-algebraic tool for reasoning with Knowledge-Based Systems2
Verification of finite-state machines: A distributed approach2
Sequential pattern mining for ICT risk assessment and management2
Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours2
國家/地區(qū)發(fā)文量
Italy35
France27
England24
GERMANY (FED REP GER)23
Spain21
USA19
Sweden16
Norway13
Denmark12
Netherlands12
機(jī)構(gòu)發(fā)文發(fā)文量
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)16
INRIA13
UNIVERSITY OF BOLOGNA9
UNIVERSITY OF PISA9
UNIVERSITAT POLITECNICA DE VALENCIA8
UNIVERSITY OF LONDON8
UNIVERSITY OF OSLO8
COMPLUTENSE UNIVERSITY OF MADRID7
CHALMERS UNIVERSITY OF TECHNOLOGY5
ROYAL INSTITUTE OF TECHNOLOGY5
Journal Of Logical And Algebraic Methods In Programming 雜志社通訊方式
《Journal Of Logical And Algebraic Methods In Programming》雜志通訊方式為：STE 800, 230 PARK AVE, NEW YORK, USA, NY, 10169。詳細(xì)征稿細(xì)則請(qǐng)查閱雜志社征稿要求。本站可提供SCI投稿輔導(dǎo)服務(wù)，SCI檢索，確保稿件信息安全保密，合乎學(xué)術(shù)規(guī)范，詳情請(qǐng)咨詢客服。
Journal Of Logical And Algebraic Methods In Programming雜志問答
本站合法持有《出版物经营许可证》、《增值电信业务经营许可证》，仅销售经国家新闻出版署批准的合法期刊，不是任何杂志官网，不涉及出版事务。本站仅提供有限咨询服务，需要用户自己向出版商投稿且没有绿色通道，是否录用一切以出版商通知为准。提及的第三方名称或商标，其知识产权均属于相应的出版商或期刊，本站与上述机构无从属关系，所有引用均出于解释服务内容的考量，符合商标法规范。本页信息均由法务团队进行把关，若期刊信息有任何问题，请联系在线客服，我们会认真核实处理。
若用戶需要出版服務(wù)，請(qǐng)聯(lián)系出版商：STE 800, 230 PARK AVE, NEW YORK, USA, NY, 10169。
