ИСТИНА

Кузнец Роман Михайлович

Соавторы: Артемов С.Н., Kleptsyn V., Mityagin A.Y., Арнольд В.Д., Белов А.Я., Блинов А., Вялый М.Н., Голенищева-Кутузова Т.И., Гуровиц В.М., Дориченко С.А., Доценко В.В., Евдокимов М.Г., Кожевников П.А. показать полностью..., Френкин Б.Р., Хачатурян А.В., Шень А., Ященко В.В., Ященко И.В.

7 статей, 1 книга, 1 доклад на конференции

Количество цитирований статей в журналах по данным Web of Science: 17, Scopus: 33

IstinaResearcherID (IRID): 19336946

Деятельность стиль:  обычный | ГОСТ | plain | abbrv | acm | alpha | amsalpha | amsplain | apalike | ieeetr | siam

• Статьи в журналах

  • 
    • 2014 Logical omniscience as infeasibility
    • Artemov Sergei, Kuznets Roman
    • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 165, № 1, с. 6-25 DOI
  • 
    • 2006 Logical omniscience via proof complexity
    • Artemov Sergei, Kuznets Roman
    • в журнале Lecture Notes in Computer Science, том 4207, с. 135-149

• Статьи в сборниках

  • • 2018 Interpolation for intermediate logics via hyper- and linear nested sequents
    • Kuznets Roman, Lellmann Björn
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 12, с. 473-492
  • 
    • 2009 Logical omniscience as a computational complexity problem
    • Artemov Sergei, Kuznets Roman
    • в сборнике Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2009), серия Theoretical Aspects of Rationality and Knowledge, TARK, издательство ACM (New York, N.Y., United States), с. 14-23 DOI
  • • 2006 Logical omniscience via proof complexity
    • Artemov Sergei, Kuznets Roman
    • в сборнике Computer Science Logic, 20th International Workshop, CSL 2006, Szeged, Hungary, September 25-29, 2006, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 4207, с. 135-149 DOI
  • 
    • 2006 Logical omniscience via proof complexity
    • Artemov Sergei, Kuznets Roman
    • в сборнике COMPUTER SCIENCE LOGIC, PROCEEDINGS, серия Lecture Notes in Computer Science, издательство Springer Berlin (Heidelberg, Germany), том 4207, с. 135-149 DOI
  • • 2000 On the complexity of explicit modal logics
    • Kuznets Roman
    • в сборнике Computer Science Logic (CSL 2000), 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings, серия Lecture Notes in Computer Science, место издания Springer Berlin, том 1862, с. 371-383 DOI

• Книги

  • • 2001 LXIV Московская математическая олимпиада
    • Арнольд В.Д., Блинков А.Д., Вялый М.Н., Глаголева Н.С., Гуровиц В.М., Голенищева-Кутузова Т., Дориченко С.А., Доценко В.В., Евдокимов М.А., Канель-Белов А.Я., Клепцын В.А., Кожевников П.А., Кузнец Р.М., Митягин А.Ю., Спивак А.В., Френкин Б.Р., Хачатурян А.В., Шень А.Х., Ященко И.В., Ященко В.В.
    • издательство Московский центр непрерывного математического образования (МЦНМО) (Москва) , 28 с.

• Доклады на конференциях

  • • 2012 Realizing public announcements by justifications (Устный)
    • Автор: Kuznets Roman
    • Logical Models of Reasoning and Computation (LRMC 2012), Математический институт им. В.А.Стеклова РАН, Россия, 1-3 февраля 2012