Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Каваньетто С
В базах данных Math-Net.Ru
Публикаций: 1
Научных статей: 1

Статистика просмотров:
Эта страница:94
Страницы публикаций:292
Полные тексты:123
Списки литературы:64
E-mail:

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  mathnet  scopus; J. Math. Sci. (N. Y.), 158:5 (2009), 689–707  scopus 5

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024