Персоналии
RUS
ENG
ЖУРНАЛЫ
ПЕРСОНАЛИИ
ОРГАНИЗАЦИИ
КОНФЕРЕНЦИИ
СЕМИНАРЫ
ВИДЕОТЕКА
ПАКЕТ AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Каваньетто С
В базах данных Math-Net.Ru
Публикаций:
1
Научных статей:
1
Статистика просмотров:
Эта страница:
94
Страницы публикаций:
292
Полные тексты:
123
Списки литературы:
64
E-mail:
email
https://www.mathnet.ru/rus/person43879
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
Публикации в базе данных
Math-Net.Ru
Цитирования
2008
1.
S. Cavagnetto, “The Lengths of Proofs: Kreisel's conjecture and Gödel's speed-up theorem”,
Зап. научн. сем. ПОМИ
,
358
(2008),
153–188
;
J. Math. Sci. (N. Y.)
,
158
:5 (2009),
689–707
5
Организации
Mathematical Institute, Academy of Sciences of the Czech Republic
Обратная связь:
email
Пользовательское соглашение
Регистрация посетителей портала
Логотипы
©
Математический институт им. В. А. Стеклова РАН
, 2024