Полное название 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
С участием зарубежных ученых