RUS
ENG
Full version
VIDEO LIBRARY
Annual Session of Steklov Mathematical Institute (Best results 2024)
November 20, 2024
11:35
, Moscow
Ýëåìåíòàðíûå òåîðèè êëàññîâ âåðîÿòíîñòíûõ ïðîñòðàíñòâ
S. O. Speranski
https://vk.com/video-222947497_456239049
https://youtu.be/JW8BT16kb0o
References
Stanislav O. Speranski, “Sharpening complexity results in quantified probability logic”,
Log. J. IGPL
, 2024, jzae114,
1–21
Stanislav O. Speranski, “An ‘elementary’ perspective on reasoning about probability spaces”,
Log. J. IGPL
, 2024, jzae042,
1–23
Related articles:
An ‘elementary’ perspective on reasoning about probability spaces
Stanislav O. Speranski
Log. J. IGPL
, 2024,
1–23
©
Steklov Math. Inst. of RAS
, 2024