|
|
Annual Session of Steklov Mathematical Institute (Best results 2024)
November 20, 2024 11:35–11:50, Moscow
|
 |
|
 |
|
|
|
Элементарные теории классов вероятностных пространств
S. O. Speranski |
|
References
-
Stanislav O. Speranski, “Sharpening complexity results in quantified probability logic”, Log. J. IGPL, 2024, jzae114, 21 pp.
  -
Stanislav O. Speranski, “An 'elementary' perspective on reasoning about probability spaces”, Log. J. IGPL, 2024, jzae042, 23 pp.
Related articles:
|
|
Contact us: