Кузнец Роман Михайлович
Количество цитирований статей в журналах по данным
Web of Science: 18,
Scopus: 42
IstinaResearcherID (IRID): 19336946
Деятельность
-
Статьи в журналах
-
Статьи в сборниках
-
-
-
-
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
-
-
-
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 с.
-
Доклады на конференциях