еНаука - преглед
Преглед према Пројекат Representations of logical structures and formal languages and their application in computing
Приказ резултата 1 до 20 од 75
следеће >
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2015 | 270 Minutes on Categorial Proof Theory | Petrić, Zoran ![]() ![]() | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
2020 | A bilinear version of Bogolyubov’s theorem | Gowers, W. T.; Milićević, Luka ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2018 | A decidable multi-agent logic with iterations of upper and lower probability operators | Dragan Doder; Nenad Savic; Ognjanović, Zoran D. ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2020 | A faithful 2-dimensional TQFT | Gajović, S.; Petrić, Zoran ![]() ![]() | Научни чланак | 23M23 - Рад у међ. часопису |
2013 | A first-order conditional probability logic with iterations | Milosevic, Milos; Ognjanović, Zoran ![]() ![]() | Научни чланак | 23M23 - Рад у међ. часопису |
2020 | A First-order Logic for Reasoning about Knowledge and Probability | Tomović, Siniša ![]() ![]() ![]() ![]() | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
2014 | A first-order probabilistic logic with approximate conditional probabilities (✓) | Ikodinović, Nebojša ![]() ![]() ![]() ![]() | Научни чланак | 21aM21a - Рад у међ. часопису изузетних вредности |
2015 | A logic with upper and lower probability operators | SAVIĆ, NENAD D. ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2017 | A note on semisymmetry | Krapež, Aleksandar L. ![]() ![]() ![]() ![]() | Научни чланак | Мп категорија ће бити приказана накнадно. |
2012 | A p-adic probability logic (✓) | Ilić-Stepić, Angelina ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2015 | A probabilistic logic for reasoning about uncertain temporal information | Doder, Dragan ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2012 | A propositional probabilistic logic with discrete linear time for reasoning about evidence | Ognjanović, Zoran ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Научни чланак | 23M23 - Рад у међ. часопису |
2019 | A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol | Marinković, Bojan ![]() ![]() ![]() ![]() | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
2016 | Algebras with parastrophically uncancellable quasigroup equations | Ehsani, Amir; Krapež, Aleksandar ![]() ![]() | Научни чланак | Мп категорија ће бити приказана накнадно. |
2017 | An approach to formal verification of python software transactional memory | Kordić, Branislav ![]() ![]() ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2020 | An improved upper bound for the grid Ramsey problem | Milićević, Luka ![]() ![]() | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
2015 | An optimisation of lambda type assignments via resource control | Gilezan, Silvia ![]() ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2014 | Approaching substructural term calculi via the resource control calculus (✓) | Gilezan, Silvia ![]() ![]() ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2015 | Asymmetric regular types (✓) | Moconja, Slavko ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2014 | Binary relations and algebras on multisets | Ghilezan, Silvia ![]() ![]() ![]() ![]() | Научни чланак | 23M23 - Рад у међ. часопису |