Уважаемые авторы и читатели!
Научный журнал «Logical Methods in Computer Science» (ISSN 1860-5974) включён в белый список научных журналов (уровень 3) и базу Web of Science (SCIE, квартиль Q3) и базу Scopus, квартиль Q3.
Издатель: Logical Methods in Computer Science e.V. (DE).
Основные тематики по данным OpenAlex: Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, semigroups and automata theory, Computability, Logic, AI Algorithms.
Журнал публикуется в режиме открытого доступа.
Издание индексируется в DOAJ.
Включение в белый список подтверждает соответствие издания требованиям к публикациям по медицинским направлениям.
Ниже приведены официальные ссылки и справочные сведения для подготовки рукописи и проверки актуальности журнала.