{"journal":{"journal_id":14303,"issn":"1860-5974","eissn":"1860-5974","name_en":"Logical Methods in Computer Science","name_short":"LOG METH COMPUT SCI","name_zh":null,"first_year":2019,"last_year":2026,"n_years":6,"latest_if":0.8,"latest_if_year":2025,"first_partition":4,"last_partition":4,"trend":"stable","xr_partition":4,"xr_year":2026,"has_warning":false,"has_risk":false,"legacy_only":false,"jcr_quartile":2,"jcr_year":2026,"jcr_subjects":2},"current":{"journal_id":14303,"year":2026,"source":"xinrui","partition":4,"is_top":false,"is_review":false,"oaj":false,"open_access":false,"wos_index":null,"wos_status":"normal","tags":[],"seq":564,"macro":"数学"},"meso":[],"history":[{"year":2025,"partition":4,"is_top":false,"macro":"数学"},{"year":2023,"partition":4,"is_top":false,"macro":"数学"},{"year":2022,"partition":4,"is_top":false,"macro":"计算机科学"},{"year":2021,"partition":4,"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":0.8,"edition":2026},{"if_year":2020,"value":0.438,"edition":2021},{"if_year":2019,"value":0.672,"edition":2021},{"if_year":2018,"value":0.432,"edition":2021},{"if_year":2017,"value":0.508,"edition":2020},{"if_year":2016,"value":0.661,"edition":2019},{"if_year":2015,"value":0.569,"edition":2018}],"if_editions":[{"year":2025,"if_avg3":null,"citations":1173.0},{"year":2021,"if_avg3":0.514,"citations":1144.0},{"year":2020,"if_avg3":0.537,"citations":1106.0},{"year":2019,"if_avg3":0.534,"citations":996.0},{"year":2018,"if_avg3":0.579,"citations":989.0}],"warnings":[],"aliases":[{"alias":"LOG METH COMPUT SCI","alias_type":"short","src":"legacy"},{"alias":"Logical Methods in Computer Science","alias_type":"primary","src":"upgraded"}],"similar":[],"jcr":[{"subject":"LOGIC","quartile":2,"citations":1173,"index_version":"SCIE","if_value":0.8,"if_year":2025,"year":2026},{"subject":"COMPUTER SCIENCE, THEORY & METHODS","quartile":4,"citations":1173,"index_version":"SCIE","if_value":0.8,"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":14303,"year":2025,"source":"cas","partition":4,"is_top":false,"is_review":false,"oaj":false,"open_access":true,"wos_index":"SCIE","wos_status":"normal","tags":[],"seq":null,"macro":"数学"},"xinrui":{"journal_id":14303,"year":2026,"source":"xinrui","partition":4,"is_top":false,"is_review":false,"oaj":false,"open_access":false,"wos_index":null,"wos_status":"normal","tags":[],"seq":564,"macro":"数学"}},"mode":"latest","year":2026,"source":"xinrui","editions":[{"year":2026,"source":"xinrui","partition":4,"seq":564,"macro":"数学"},{"year":2025,"source":"cas","partition":4,"seq":null,"macro":"数学"},{"year":2023,"source":"cas","partition":4,"seq":null,"macro":"数学"},{"year":2022,"source":"cas","partition":4,"seq":null,"macro":"计算机科学"},{"year":2021,"source":"cas","partition":4,"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":"http://www.lmcs-online.org/","submission_url":null,"submission_kind":null,"author_guide_url":"https://lmcs.episciences.org/page/authors-information","confidence":null,"checked_at":null},"cost":{"is_oa":"YES","required":false,"apc_min":null,"apc_max":0.0,"currency":"USD","usd_est":0.0,"note":null,"waiver":"无豁免政策","other_charges":"没有其他费用"},"timeline":{"first_decision_days":63,"to_accept_days":231,"online_weeks":33,"text":"平均 33 周（投稿到出版）","kind":"aggregate","acceptance_rate_pct":null},"publishing":{"publisher":"Logical Methods in Computer Science e.V.","country":"Germany","language":"English","issn_print":null,"issn_electronic":"1860-5974"},"keywords":{"topics":"Logic, programming, and type systems; Formal Methods in Verification; Logic, Reasoning, and Knowledge; semigroups and automata theory; Computability, Logic, AI Algorithms; Advanced Algebra and Logic; Distributed systems and fault tolerance; Advanced Topology and Set Theory; Complexity and Algorithms in Graphs; Petri Nets in System Modeling; Advanced Graph Theory Research; Semantic Web and Ontologies; Advanced Database Systems and Queries; Homotopy and Cohomology in Algebraic Topology; Model-Driven Software Engineering Techniques; Machine Learning and Algorithms; Security and Verification in Computing; Constraint Satisfaction and Optimization; Algorithms and Data Compression; Software Testing and Debugging Techniques; Natural Language Processing Techniques; Advanced Software Engineering Methodologies; DNA and Biological Computing; Parallel Computing and Optimization Techniques; Bayesian Modeling and Causal Inference","scope_text":null,"article_types":null},"completeness":86,"updated_at":"2026-09-16T14:23:32.464460+00:00"}}