Полное название | Zolotov A.S. On Decidability of the Theory with the Transitive Closure Operator // Lobachevskii Journal of Mathematics. 2015. V.36. Issue 4. P.434-440. |
Тип публикации | Статья |
Язык | Английский |
URL | |
Дата публикации | 01.01.1900 |
РИНЦ RSCI Перечень ВАК Web of Science Scopus | |
DOI | http://dx.doi.org/10.1134/S1995080215040186 |
Идентификатор Scopus | 2-s2.0-84949233746 |
Идентификатор Web of Science | WOS:000213045900016 |
С участием зарубежных ученых |