中文簡介

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

　　英文簡介

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.

　　近年期刊自引率趨勢圖

　　JCR分區(qū)

JCR分區(qū)等級	JCR所屬學(xué)科	分區(qū)	影響因子
Q1	LOGIC	Q1	1.088
	COMPUTER SCIENCE, THEORY & METHODS	Q3

　　近年期刊影響因子趨勢圖

　　CiteScore數(shù)值

CiteScore	SJR	SNIP	學(xué)科類別	分區(qū)	排名	百分位
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%

　　相關(guān)工程技術(shù)SCI期刊推薦

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