Уважаемые авторы и читатели!
Научный журнал «ACM Transactions on Computational Logic» (ISSN 1529-3785) включён в белый список научных журналов (уровень 1) и базу Web of Science (SCIE, квартиль Q2) и базу Scopus, квартиль Q2.
Издатель: Association for Computing Machinery (US).
Основные тематики по данным OpenAlex: Logic, Reasoning, and Knowledge, Logic, programming, and type systems, Formal Methods in Verification, semigroups and automata theory, Semantic Web and Ontologies.
Журнал работает по модели закрытого доступа.
Включение в белый список подтверждает соответствие издания требованиям к публикациям по медицинским направлениям.
Ниже приведены официальные ссылки и справочные сведения для подготовки рукописи и проверки актуальности журнала.