Strong Decidability and Strong Recognizability | Sciact - Система учета научной деятельности ИМ СО РАН

Strong Decidability and Strong Recognizability Научная публикация

Журнал

Algebra and Logic
ISSN: 0002-5232 , E-ISSN: 1573-8302

Вых. Данные

Год: 2017, Том: 56, Номер: 5, Страницы: 370-385 Страниц : 16 DOI: 10.1007/s10469-017-9459-0

Ключевые слова

admissible rule; decidability; Johansson algebra; minimal logic; recognizable logic; strong decidability

Авторы

Maksimova L.L. ^1,2 , Yun V.F. ^1,2

Организации

1	Sobolev Institute of Mathematics
2	Novosibirsk State University

Maksimova L.L. , Yun V.F.
Strong Decidability and Strong Recognizability
Algebra and Logic. 2017. V.56. N5. P.370-385. DOI: 10.1007/s10469-017-9459-0 WOS Scopus OpenAlex

Максимова Л.Л. , Юн В.Ф.
Сильная разрешимость и сильная узнаваемость
Алгебра и логика. 2017. Т.56. №5. С.559-581. DOI: 10.17377/alglog.2017.56.503

Web of science:	WOS:000416984900003
Scopus:	2-s2.0-85035778626
OpenAlex:	W2771865035

БД	Цитирований
Scopus	8
OpenAlex	7
Web of science	5