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.

《编程中的逻辑和代数方法杂志》是一本国际期刊，旨在发表高质量的原创研究论文、调查和评论文章、教程阐述和历史研究，涉及逻辑和代数方法和技术领域，以保证程序和一般计算系统的正确性和可执行性。将涵盖所有方面，尤其是理论和基础、实施问题以及涉及新想法的应用。

该刊已被国际权威数据库SCIE收录，该刊致力于发表经过严格同行评审的高质量原创文章，反映COMPUTER SCIENCE, THEORY & METHODS-LOGIC领域的新进展、新技术、新成果，促进该领域科研交流和科研成果转化。该刊2023年影响因子为0.7，平均审稿速度为 ，近四年来没有被列入预警名单。如果您需要投稿发表服务及指导，可以联系我们的客服老师，我们专业专注服务期刊投稿协助10年，为您提供期刊投稿个性化定制服务，并且我们确保严格保密您的个人信息及稿件内容。