Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Фиори Каронес Марта


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

Доклады и лекции в базе данных Math-Net.Ru
1. Conservative translations for non-deterministic semantics
Marta Fiori Carones
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
15 июня 2023 г. 17:20   
2. The strength of some consequences of RT22 over RCA∗0
Marta Fiori Carones
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
6 июня 2022 г. 18:30   

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