eNauka - pregled
Pregled prema Projekat Representations of logical structures and formal languages and their application in computing
Prikaz rezultata 1 do 20 od 76
sledeće >
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2015 | 270 Minutes on Categorial Proof Theory | Petrić, Zoran   | Book parts | Mp. category will be shown later |
| 2020 | A bilinear version of Bogolyubov’s theorem | Gowers, W. T.; Milićević, Luka | Article | 22M22 |
| 2018 | A decidable multi-agent logic with iterations of upper and lower probability operators | Dragan Doder; Nenad Savic; Ognjanović, Zoran D. | Conference Paper | Mp. category will be shown later |
| 2020 | A faithful 2-dimensional TQFT | Gajović, S.; Petrić, Zoran ; Telebaković, Onić S. | Article | 22M22 |
| 2013 | A first-order conditional probability logic with iterations | Milosevic, Milos; Ognjanović, Zoran | Article | 23M23 |
| 2020 | A First-order Logic for Reasoning about Knowledge and Probability | Tomović, Siniša ; Ognjanović, Zoran ; Doder, Dragan | Article | 21M21 |
| 2014 | A first-order probabilistic logic with approximate conditional probabilities | Ikodinović, Nebojša ; Rašković, M.; Marković, Z.; Ognjanović, Zoran | Article | 21a+M21a+ |
| 2015 | A logic with upper and lower probability operators | SAVIĆ, NENAD D. ; Doder, Dragan ; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2017 | A note on semisymmetry | Krapež, Aleksandar L. ; Petrić, Zoran J. | Article | Mp. category will be shown later |
| 2012 | A p-adic probability logic | Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša ; Perović, Aleksandar | Article | 22M22 |
| 2015 | A probabilistic logic for reasoning about uncertain temporal information | Doder, Dragan ; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2012 | A propositional probabilistic logic with discrete linear time for reasoning about evidence | Ognjanović, Zoran ; Marković, Zoran; Rašković, Miodrag ; Doder, Dragan ; Perović, Aleksandar | Article | 23M23 |
| 2019 | A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol | Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Studer, Thomas | Article | 21M21 |
| 2016 | Algebras with parastrophically uncancellable quasigroup equations | Ehsani, Amir; Krapež, Aleksandar ; Movsisyan, Yuri | Article | Mp. category will be shown later |
| 2017 | An approach to formal verification of python software transactional memory | Kordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia ; Bašičević, Ilija | Conference Paper | Mp. category will be shown later |
| 2020 | An improved upper bound for the grid Ramsey problem | Milićević, Luka | Article | 21M21 |
| 2015 | An optimisation of lambda type assignments via resource control | Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad | Conference Paper | Mp. category will be shown later |
| 2014 | Approaching substructural term calculi via the resource control calculus | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Conference Paper | Mp. category will be shown later |
| 2015 | Asymmetric regular types | Moconja, Slavko ; Tanović, Predrag | Article | 22M22 |
| 2014 | Binary relations and algebras on multisets | Ghilezan, Silvia ; Pantović, Jovanka ; Vojvodic, Gradimir | Article | 23M23 |