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

Статистика просмотров:
Эта страница:35
Страницы публикаций:184
Полные тексты:65
Списки литературы:33

https://www.mathnet.ru/rus/person76319
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru Цитирования
2012
1. С. Н. Баранов, Б. Буавер, С. В. Соловьев, Л. Феро, “Некоторые приложения $\lambda$-исчисления с типами к атрибутным вычислениям в системах категорных преобразований графов”, Тр. СПИИРАН, 23 (2012),  296–323  mathnet
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024