• 充值
  • 会员
  • 职称材料
搜期刊
刊名

文献信息

  • 任意字段
  • 主题词
  • 篇关摘
  • 篇名
  • 关键词
  • 摘要
  • 作者
  • 第一作者
  • 作者单位
  • 刊名
  • 中图分类号
  • 学科分类号
  • DOI
  • 基金
文献检索

美国
投稿预审
Journal of Logical and Algebraic Methods in Programming 中科院4区 JCR:Q1 JCR:Q3 SCIE EI JST
发文量 761
被引量 4,712
影响因子(2025版) 0.560

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.

  • 主办单位： ELSEVIER SCIENCE INC
  • 出版地区： NEW YORK
  • 出版周期： 双月刊
  • 别名： J LOG ALGEBR METHODS;J. Log. Algebr. Methods Program;编程中的逻辑与代数方法期刊;JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
  • 国际标准连续出版物号/电子版： ISSN 2352-2208 / EISSN 2352-2216
  • 创刊时间： 2014年
热门主题：

时态逻辑微积分学类型系统形式化技术PETRI网模型模型校核进程演算专刊专版原理验证通信有限状态机LTL模型检测单一法典化运行时监控代数学源程序验证形式化校验APL语言模态逻辑学并发计算理论语义学

收录汇总 栏目浏览 期刊详情
收录汇总
出版文献
期刊详情
新发布(2025版)
分析评价
  • 1
  • 2
  • 3
  • 4
  • 7
目录
封面
2026年--期
共：15篇
2026年--期

2026年--期

客服咨询
投稿相关：023-63416211
撤稿相关：023-63012682
查重相关：023-63506028
重庆维普资讯有限公司 渝B2-20050021-1 渝公网备 50019002500403
违法和不良信息举报中心   举报邮箱：jubao@cqvip.com   互联网算法推荐专项举报：sfjubao@cqvip.com    网络暴力专项举报: bljubao@cqvip.com
网络出版：（署）网出证（渝）字第014号    出版物经营许可证：新出发2018批字第006号