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.

《Journal Of Logical And Algebraic Methods In Programming》是一本由ELSEVIER SCIENCE INC出版商出版的专业工程技术期刊，该刊创刊于2014年，刊期6 issues/year，该刊已被国际权威数据库SCI、SCIE收录。在中科院最新升级版分区表中，该刊分区信息为大类学科：计算机科学 3区，小类学科：逻辑学 2区；计算机：理论方法 3区；在JCR（Journal Citation Reports）分区等级为Q1。该刊发文范围涵盖计算机：理论方法等领域，旨在及时、准确、全面地报道国内外计算机：理论方法工作者在该领域取得的最新研究成果、工作进展及学术动态、技术革新等，促进学术交流，鼓励学术创新。2021年影响因子为1.088，