Публикации: Кияткин Владимир Ростиславович

НЕЗАВИСИМЫЙ БАЗИС ДОПУСТИМЫХ ПРАВИЛ ВЫВОДА ПРЕДТАБЛИЧНЫХ ЛОГИК И ИХ РАСШИРЕНИЙ [статья из журнала]
Римацкий Виталий Валентинович, Кияткин Владимир Ростиславович
2013, Сибирские электронные математические известия
присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
Residual Finiteness for Admissible Inference Rules : научное издание [статья из журнала]
Rybakov V. V., Kiyatkin V. R., Oner T.
2001, Algebra and Logic
присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
Independent bases for admissible rules in pretable logics : научное издание [статья из журнала]
Rybakov V. V., Kiyatkin V. R., Terziler M.
2000, Algebra and Logic
присутствует в Scopus, РИНЦ (eLIBRARY.RU) (1 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
On finite model property for admissible rules [статья из журнала]
Rybakov V. V., Kiyatkin V. R., Mathematics Department, Science Faculty, Ege University, Bornova-Izmir, 35100, Turkey T.
1999, MATHEMATICAL LOGIC QUARTERLY
присутствует в Web of Science Core Collection, Scopus (20 цит.), РИНЦ (eLIBRARY.RU) (20 цит.), Ядро РИНЦ (eLIBRARY.RU)
Нестандартные логические системы и правила вывода [отчёт о НИР]
Рыбаков В. В., Бабенышев С. В., Безгачева Ю. В., Голованов М. И., Кияткин В. Р., Римацкий В. В.
1996
присутствует в РИНЦ (eLIBRARY.RU)

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Там же сотрудники СФУ могут смотреть и редактировать списки своих публикаций. Сообщите, если заметили неточности.