Browsing eNauka
Browsing by Project Swiss National Science Foundation, grant 200021_165549
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2017 | Logics with lower and upper probability operators | Savić, Nenad  ; Doder, Dragan ; Ognjanović, Zoran  | Article | 21M21 |
| 2020 | Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case | Ghilezan, Silvia ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad | Conference Paper | Mp. category will be shown later |