Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Fiori Carones, Marta


https://www.mathnet.ru/eng/person191925
List of publications on Google Scholar

Presentations in Math-Net.Ru
1. Conservative translations for non-deterministic semantics
Marta Fiori Carones
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
June 15, 2023 17:20   
2. The strength of some consequences of RT22 over RCA∗0
Marta Fiori Carones
Seminars "Proof Theory" and "Logic Online Seminar"
June 6, 2022 18:30   

Organisations
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024