J LOG ALGEBR METHODS期刊全称叫什么

J LOG ALGEBR METHODS是Journal of Logical and Algebraic Methods in Programming期刊的缩写。J LOG ALGEBR METHODS期刊的出版地是UNITED STATES，主要的研究方向是工程技术-计算机：理论方法。

《程序设计中的逻辑和代数方法》是一份国际性的期刊，旨在发表高质量的原创研究论文、调查和评论文章、教程演示以及历史研究，内容涉及逻辑和代数方法和技术，以确保程序的正确性和可执行性，以及一般的计算系统。所有方面都将包括，特别是理论和基础，实施问题，以及涉及新思想的应用。杂志感兴趣的主题包括:?代数、代数余和范畴在编程中的应用?证明理论和模型理论在编程中的应用?约束编程?编程范例的基础?逻辑编程?程序安全性的逻辑基础?网络物理系统的模型和分析模型?过程结石?编程模型?系统分析的定量方法?系统规范和验证《编程中的逻辑和代数方法》杂志对爱思唯尔的计算机编程科学和理论计算机科学进行了补充，其重点是在编程和开发可信计算系统的基础上应用逻辑、代数和分类方法。

该刊的年访问量是42篇，从官网http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming/上查到本刊的通讯地址是STE 800, 230 PARK AVE, NEW YORK, USA, NY, 10169，投稿地址是https://www.editorialmanager.com/JLAMP。