- 《Journal of Logical and Algebraic Methods in Programming》
- 语言：外文
- ISSN：2352-2208
- 核心刊：;Scopus;Ei Compendex(2018);SCIE(科学引文索引)(美)(2020);
- 收录情况：SCIENCE CITATION INDEX EXPANDED;Scopus;Ei Compendex(2018);SCIE(科学引文索引)(美)(2018);
- 周期：双月刊
- 影响因子：2018:0.632;2017:0.634;
- 学科分类：美学 建筑
