1. Критерий допустимости правил вывода логики с оператором "Завтра" : препринт [препринт]
   Голованов М. И., Юрасова Е. М.
   2004
   присутствует в РИНЦ (eLIBRARY.RU)
2. Допустимые и выводимые правила вывода в нестандартных логиках : автореферат диссертации на соискание ученой степени кандидата физико-математических наук [автореферат диссертации]
   Юрасова Екатерина Михайловна
   2004
   присутствует в РИНЦ (eLIBRARY.RU)
3. A necessary condition for rules to be admissible in temporal tomorrow-logic [статья из журнала]
   Golovanov M. I., Rybakov V. V., Yurasova E. M., Golovanov M. I., Rybakov V. V., Yurasova E. M.
   2003, Bulletin of the Section of Logic
   присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)

Список публикаций автора сформирован в автоматическом режиме. Сообщите, если заметили неточности. Если это ваши публикации, то вы можете войти на сайт под своей учётной записью с помощью формы вверху страницу и отредактировать список публикаций самостоятельно.

Справка для редакторов сайтов и программистов об экспорте списка публикаций на сторонние сайты.