еНаука - преглед
Преглед према Аутор Petrić, Zoran
Приказ резултата 1 до 17 од 17
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2009 | Bicartesian coherence revisited | Došen, Kosta ; Petrić, Zoran | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
2007 | Coherence and confluence | Došen, Kosta ; Petrić, Zoran | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
2001 | Coherent bicartesian and sesquicartesian categories | Došen, Kosta ; Petrić, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2019 | Facet colouring of nestohedra (✓) | Baralić, Djordje; Petrić, Zoran; Ivanović, Jelena ; Telebaković Onić, Sonja | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2023 | Интензионалност и појам алгоритма | Maksimović, Katarina | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
1997 | Isomorphic objects in symmetric monoidal closed categories | Došen, Kosta ; Petrić, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |
1996 | Jednakost izvođenja u kategorijalnoj teoriji dokaza | Petrić, Zoran | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2020 | Кохеренција и прости политопи (✓) | Ivanović, Jelena | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2021 | Комбинаторна топологија и графовски комплекси | Jelić Milutinović, Мarija | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
1996 | Modal functional completeness | Došen, Kosta ; Petrić, Zoran | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
2008 | O nekim supstrukturnim logikama | Ilić, Mirjana | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2000 | On permuting cut with contraction (✓) | Borisavljević, Mirjana ; Došen, Kosta ; Petrić, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |
2024 | Probabilistic reasoning in computation and simple type theory | Prokić, Simona | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2021 | Samoreferencija i teorija pojmova | Kostić, Jovana | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2006 | Symmetric self-adjunctions: A justification of Brauer's representation of Brauer's algebras | Došen, Kosta ; Petrić, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2001 | The maximility of Cartesian categories | Došen, Kosta ; Petrić, Zoran | Научни чланак | 23M23 - Рад у међ. часопису |
2001 | The Typed Böhm Theorem | Došen, Kosta ; Petrić, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |