{"journal":{"journal_id":2385,"issn":"2352-2208","eissn":"2352-2216","name_en":"Journal of Logical and Algebraic Methods in Programming","name_short":"J LOG ALGEBR METHODS","name_zh":null,"first_year":2019,"last_year":2026,"n_years":6,"latest_if":1.0,"latest_if_year":2025,"first_partition":4,"last_partition":4,"trend":"stable","xr_partition":3,"xr_year":2026,"has_warning":false,"has_risk":false,"legacy_only":false,"jcr_quartile":1,"jcr_year":2026,"jcr_subjects":2},"current":{"journal_id":2385,"year":2026,"source":"xinrui","partition":3,"is_top":false,"is_review":false,"oaj":false,"open_access":false,"wos_index":null,"wos_status":"normal","tags":[],"seq":248,"macro":"数学"},"meso":[],"history":[{"year":2025,"partition":4,"is_top":false,"macro":"数学"},{"year":2023,"partition":4,"is_top":false,"macro":"数学"},{"year":2022,"partition":3,"is_top":false,"macro":"计算机科学"},{"year":2021,"partition":3,"is_top":false,"macro":"计算机科学"},{"year":2020,"partition":3,"is_top":false,"macro":"计算机科学"},{"year":2019,"partition":4,"is_top":false,"macro":"计算机科学"}],"if_single":[{"if_year":2025,"value":1.0,"edition":2026},{"if_year":2020,"value":0.581,"edition":2021},{"if_year":2019,"value":0.685,"edition":2021},{"if_year":2018,"value":0.632,"edition":2021},{"if_year":2017,"value":0.634,"edition":2020},{"if_year":2016,"value":0.692,"edition":2019},{"if_year":2015,"value":0.61,"edition":2018}],"if_editions":[{"year":2025,"if_avg3":null,"citations":418.0},{"year":2021,"if_avg3":0.632,"citations":352.0},{"year":2020,"if_avg3":0.65,"citations":297.0},{"year":2019,"if_avg3":0.653,"citations":215.0},{"year":2018,"if_avg3":0.645,"citations":153.0}],"warnings":[],"aliases":[{"alias":"J LOG ALGEBR METHODS","alias_type":"short","src":"legacy"},{"alias":"Journal of Logical and Algebraic Methods in Programming","alias_type":"primary","src":"upgraded"}],"similar":[],"jcr":[{"subject":"LOGIC","quartile":1,"citations":418,"index_version":"SCIE","if_value":1.0,"if_year":2025,"year":2026},{"subject":"COMPUTER SCIENCE, THEORY & METHODS","quartile":3,"citations":418,"index_version":"SCIE","if_value":1.0,"if_year":2025,"year":2026}],"jcr_years":[2026],"jcr_year":2026,"plan":{"cas":[2025,"cas"],"xinrui":[2026,"xinrui"],"jcr":2026,"cas_years":[2025,2023,2022,2021,2020,2019],"xinrui_years":[2026]},"plan_rows":{"cas":{"journal_id":2385,"year":2025,"source":"cas","partition":4,"is_top":false,"is_review":false,"oaj":false,"open_access":false,"wos_index":"SCIE","wos_status":"normal","tags":[],"seq":null,"macro":"数学"},"xinrui":{"journal_id":2385,"year":2026,"source":"xinrui","partition":3,"is_top":false,"is_review":false,"oaj":false,"open_access":false,"wos_index":null,"wos_status":"normal","tags":[],"seq":248,"macro":"数学"}},"mode":"latest","year":2026,"source":"xinrui","editions":[{"year":2026,"source":"xinrui","partition":3,"seq":248,"macro":"数学"},{"year":2025,"source":"cas","partition":4,"seq":null,"macro":"数学"},{"year":2023,"source":"cas","partition":4,"seq":null,"macro":"数学"},{"year":2022,"source":"cas","partition":3,"seq":null,"macro":"计算机科学"},{"year":2021,"source":"cas","partition":3,"seq":null,"macro":"计算机科学"},{"year":2020,"source":"cas","partition":3,"seq":null,"macro":"计算机科学"},{"year":2019,"source":"cas","partition":4,"seq":null,"macro":"计算机科学"}],"submission":{"entry":{"homepage_url":"https://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming","submission_url":null,"submission_kind":null,"author_guide_url":null,"confidence":null,"checked_at":null},"cost":{"is_oa":"NO","required":null,"apc_min":null,"apc_max":null,"currency":null,"usd_est":2610.0,"note":null,"waiver":null,"other_charges":null},"timeline":{"first_decision_days":null,"to_accept_days":null,"online_weeks":null,"text":null,"kind":null,"acceptance_rate_pct":null},"publishing":{"publisher":"Elsevier BV","country":"Netherlands","language":null,"issn_print":null,"issn_electronic":null},"keywords":{"topics":"Logic, programming, and type systems; Formal Methods in Verification; Logic, Reasoning, and Knowledge; Distributed systems and fault tolerance; Diverse Scientific and Economic Studies; Human auditory perception and evaluation; Educational Robotics and Engineering; Model-Driven Software Engineering Techniques; Advanced Software Engineering Methodologies; Software Testing and Debugging Techniques; Advanced Algebra and Logic; Semantic Web and Ontologies; semigroups and automata theory; Parallel Computing and Optimization Techniques; Service-Oriented Architecture and Web Services; Software Engineering Research; Security and Verification in Computing; Petri Nets in System Modeling; Computability, Logic, AI Algorithms; Advanced Database Systems and Queries; Constraint Satisfaction and Optimization; Business Process Modeling and Analysis; Software Reliability and Analysis Research; Advanced Malware Detection Techniques; Natural Language Processing Techniques","scope_text":null,"article_types":null},"completeness":66,"updated_at":"2026-09-16T14:23:13.501721+00:00"}}