Persons
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Fiori Carones, Marta
Statistics Math-Net.Ru
Presentations:
2
Number of views:
This page:
127
https://www.mathnet.ru/eng/person191925
List of publications on Google Scholar
List of publications on ZentralBlatt
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
Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2024