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

  1. НЕЗАВИСИМЫЙ БАЗИС ДОПУСТИМЫХ ПРАВИЛ ВЫВОДА ПРЕДТАБЛИЧНЫХ ЛОГИК И ИХ РАСШИРЕНИЙ [статья из журнала]
    2013, Сибирские электронные математические известия
    присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  2. Residual Finiteness for Admissible Inference Rules [статья из журнала]
    2001, Algebra and Logic
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  3. Independent bases for admissible rules in pretable logics [статья из журнала]
    2000, Algebra and Logic
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU) (1 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  4. 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 (19 цит.), Scopus (20 цит.), РИНЦ (eLIBRARY.RU) (20 цит.), Ядро РИНЦ (eLIBRARY.RU)
  5. Нестандартные логические системы и правила вывода [отчёт о НИР]
    1996
    присутствует в РИНЦ (eLIBRARY.RU)

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

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.