万维书刊网微信二维码

扫微信，关注编辑QQ！

认证信息

广告

大横幅

您的位置：万维书刊网 >>sci/e期刊大全 >>工程技术1>>计算机（理论方法）
您的位置：万维书刊网 >>sci/e期刊大全 >>数学>>逻辑学
您的位置：万维书刊网 >>ei外国期刊 >>计算机科学>>计算理论与数学
您的位置：万维书刊网 >>ei外国期刊 >>计算机科学>>软件
您的位置：万维书刊网 >>ei外国期刊 >>计算机科学>>理论计算机科学
您的位置：万维书刊网 >>ei外国期刊 >>数学与计算科学>>逻辑学

Journal of Logical and Algebraic Methods in Programming《编程中的逻辑与代数方法期刊》 （官网投稿）

简介
  • 期刊简称J LOG ALGEBR METHODS
  • 参考译名《编程中的逻辑与代数方法期刊》
  • 核心类别 高质量科技期刊（T3-2025）, SCIE核心, EI 外国期刊, 目次收录（维普）, 知网外文库,外文期刊,
  • IF影响因子
  • 自引率
  • 主要研究方向计算机科学-LOGIC逻辑学；COMPUTER SCIENCE, THEORY & METHODS计算机：理论方法。内容聚焦于运用逻辑与代数方法技术确保程序及广义计算系统的正确性与可执行性。涵盖该领域所有层面，尤其关注理论与基础、实现问题以及具有创新思想的应用实践。期刊关注主题包括但不限于：代数、余代数及范畴论在程序设计中的应用；证明论与模型论在程序设计中的应用；约束编程；编程范式的理论基础；逻辑程序设计；程序安全的逻辑基础；信息物理系统模型与分析模型；进程演算；编程模型；系统分析的量化方法；系统形式化规约与验证。展开更多

主要研究方向：

等待设置主要研究方向
计算机科学-LOGIC逻辑学；COMPUTER SCIENCE, THEORY & METHODS计算机：理论方法。内容聚焦于运用逻辑与代数方法技术确保程序及广义计算系统的正确性与可执行性。涵盖该领域所有层面，尤其关注理论与基础、实现问题以及具有创新思想的应用实践。期刊关注主题包括但不限于：代数、余代数及范畴论在程序设计中的应用；证明论与模型论在程序设计中的应用；约束编程；编程范式的理论基础；逻辑程序设计；程序安全的逻辑基础；信息物理系统模型与分析模型；进程演算；编程模型；系统分析的量化方法；系统形式化规约与验证。

Journal of Logical and Algebraic Methods in Programming《编程中的逻辑与代数方法期刊》（双月刊）. The Journal of Logical and Algebraic Methods in Programming&nbs...[显示全部]
给编辑部投稿--> 官网投稿 火热进行中

收藏本刊（1）

报刊点评

咨询编辑部

纠错、补充

认证信息

广告

期刊页面中间图片广告
征稿信息

万维提示：

1、投稿方式：在线投稿。

2、期刊网址：

https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming

3、投稿网址：

https://www.editorialmanager.com/jlamp

4、期刊刊期：双月刊，一年出版6期。

2025年12月26日星期五


赞 助 商 图 片

广告联系


投稿常见问题

如何查找适合自己投稿的刊物！

论文写作模板！

如何投稿—新手上路（有图）！

如何收藏刊物、并投稿？

如何注册网站？上传论文？

怎么知道文章是否被录用？

投稿失败注意事项！

邮件里的附言框都写些什么？

投稿介绍信模板！

非中介邮箱！


历史浏览

Journal of Logical and Algebraic Methods in Programming《编程中的逻辑与代数方法期刊》

  • 万维QQ投稿交流群    招募志愿者

    版权所有 Copyright@2009-2015| 豫ICP备2021036211号

     纯自助论文投稿平台    E-mail：1121090112@qq.com；eshukan@163.com


投稿问答最小化  关闭

投稿有问题？问问网友吧！

·心理干预个案研究可以发哪个刊物 0回答

·关于音乐机构与宋词的投什么期刊？ 1回答

·请问中华民族共同体意识可以投哪些期刊... 1回答

·超过了最大请求长度是什么意思 1回答

问答