Journal of Logical and Algebraic Methods in Programming期刊中文簡介

《程序設計中的邏輯和代數方法》是一份國際性的期刊，旨在發表高質量的原創研究論文、調查和評論文章、教程演示以及歷史研究，內容涉及邏輯和代數方法和技術，以確保程序的正確性和可執行性，以及一般的計算系統。所有方面都將包括，特別是理論和基礎，實施問題，以及涉及新思想的應用。雜志感興趣的主題包括:?代數、代數余和范疇在編程中的應用?證明理論和模型理論在編程中的應用?約束編程?編程范例的基礎?邏輯編程?程序安全性的邏輯基礎?網絡物理系統的模型和分析模型?過程結石?編程模型?系統分析的定量方法?系統規范和驗證《編程中的邏輯和代數方法》雜志對愛思唯爾的計算機編程科學和理論計算機科學進行了補充，其重點是在編程和開發可信計算系統的基礎上應用邏輯、代數和分類方法。

　　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.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.

　　Journal of Logical and Algebraic Methods in Programming期刊近年期刊自引率趨勢圖

　　Journal of Logical and Algebraic Methods in Programming期刊JCR分區

JCR分區等級	JCR所屬學科	分區	影響因子
Q1	LOGIC	Q1	1.088
	COMPUTER SCIENCE, THEORY & METHODS	Q3

　　Journal of Logical and Algebraic Methods in Programming近年期刊影響因子趨勢圖

　　Journal of Logical and Algebraic Methods in Programming期刊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期刊推薦

• SemimonthlyADVANCED MATERIALS
• SemimonthlyJOURNAL OF ALLOYS AND COMPOUNDS
• SemimonthlyAPPLIED CATALYSIS B-ENVIRONMENTAL
• SemimonthlyJOURNAL OF HAZARDOUS MATERIALS
• Journal of Materials Chemistry A
• MonthlyADVANCED FUNCTIONAL MATERIALS
• MonthlySmall
• MonthlyBiotechnology for Biofuels
• MonthlyJOURNAL OF THE ELECTROCHEMICAL SOCIETY
• Materials Science & Engineering C-Materials for Biological Applications