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
Salehi, Saeed
Statistics Math-Net.Ru
Presentations:
2
Number of views:
This page:
2032
E-mail:
email
,
email
https://www.mathnet.ru/eng/person131328
List of publications on Google Scholar
List of publications on ZentralBlatt
Presentations in
Math-Net.Ru
1.
How (not) to Compute the Halting Probability or Validate the Heuristic Principle
S. Salehi
Seminars "Proof Theory" and "Logic Online Seminar"
April 15, 2024
18:30
2.
Diagonal-free proofs of the Diagonal Lemma
S. Salehi
Workshop on Proof Theory, Modal Logic and Reflection Principles
October 18, 2017
10:35
Organisations
University of Tabriz
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2024