eNauka - pregled
Pregled prema Projekat Representations of logical structures and formal languages and their application in computing
Prikaz rezultata 1 do 20 od 75
sledeće >
Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
---|---|---|---|---|
2015 | 270 Minutes on Categorial Proof Theory | Petrić, Zoran | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
2020 | A bilinear version of Bogolyubov’s theorem | Gowers, W. T.; Milićević, Luka | Naučni članak | 22M22 - Rad u istaknutom međ. časopisu |
2018 | A decidable multi-agent logic with iterations of upper and lower probability operators | Dragan Doder; Nenad Savic; Ognjanović, Zoran D. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2020 | A faithful 2-dimensional TQFT | Gajović, S.; Petrić, Zoran ; Telebaković, Onić S. | Naučni članak | 23M23 - Rad u međ. časopisu |
2013 | A first-order conditional probability logic with iterations | Milosevic, Milos; Ognjanović, Zoran | Naučni članak | 23M23 - Rad u međ. časopisu |
2020 | A First-order Logic for Reasoning about Knowledge and Probability | Tomović, Siniša ; Ognjanović, Zoran ; Doder, Dragan | Naučni članak | 21M21 - Rad u vrhunskom međ. časopisu |
2014 | A first-order probabilistic logic with approximate conditional probabilities (✓) | Ikodinović, Nebojša ; Rašković, M.; Marković, Z.; Ognjanović, Zoran | Naučni članak | 21aM21a - Rad u međ. časopisu izuzetnih vrednosti |
2015 | A logic with upper and lower probability operators | SAVIĆ, NENAD D. ; Doder, Dragan ; Ognjanović, Zoran | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2017 | A note on semisymmetry | Krapež, Aleksandar L. ; Petrić, Zoran J. | Naučni članak | Mp kategorija će biti prikazana naknadno. |
2012 | A p-adic probability logic (✓) | Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša ; Perović, Aleksandar | Naučni članak | 22M22 - Rad u istaknutom međ. časopisu |
2015 | A probabilistic logic for reasoning about uncertain temporal information | Doder, Dragan ; Ognjanović, Zoran | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2012 | A propositional probabilistic logic with discrete linear time for reasoning about evidence | Ognjanović, Zoran ; Marković, Zoran; Rašković, Miodrag ; Doder, Dragan ; Perović, Aleksandar | Naučni članak | 23M23 - Rad u međ. časopisu |
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 | Naučni članak | 21M21 - Rad u vrhunskom međ. časopisu |
2016 | Algebras with parastrophically uncancellable quasigroup equations | Ehsani, Amir; Krapež, Aleksandar ; Movsisyan, Yuri | Naučni članak | Mp kategorija će biti prikazana naknadno. |
2017 | An approach to formal verification of python software transactional memory | Kordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia ; Basicevic, Ilija | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2020 | An improved upper bound for the grid Ramsey problem | Milićević, Luka | Naučni članak | 21M21 - Rad u vrhunskom međ. časopisu |
2015 | An optimisation of lambda type assignments via resource control | Gilezan, Silvia ; Ivetić, Jelena ; SAVIĆ, NENAD | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2014 | Approaching substructural term calculi via the resource control calculus (✓) | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2015 | Asymmetric regular types (✓) | Moconja, Slavko ; Tanović, Predrag | Naučni članak | 22M22 - Rad u istaknutom međ. časopisu |
2014 | Binary relations and algebras on multisets (✓) | Ghilezan, Silvia ; Pantović, Jovanka ; Vojvodic, Gradimir | Naučni članak | 23M23 - Rad u međ. časopisu |