Browsing eNauka
Browsing by Author Petrić, Zoran
Showing results 1 to 17 of 17
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2009 | Bicartesian coherence revisited | Došen, Kosta   ; Petrić, Zoran | Book parts | Mp. category will be shown later |
| 2007 | Coherence and confluence | Došen, Kosta ; Petrić, Zoran | Book parts | Mp. category will be shown later |
| 2001 | Coherent bicartesian and sesquicartesian categories | Došen, Kosta ; Petrić, Zoran | Conference Paper | Mp. category will be shown later |
| 2019 | Facet colouring of nestohedra | Baralić, Djordje; Petrić, Zoran; Ivanović, Jelena ; Telebaković Onić, Sonja | Conference Paper | Mp. category will be shown later |
| 2023 | Интензионалност и појам алгоритма | Maksimović, Katarina | Doctoral theses | 70M70 |
| 1997 | Isomorphic objects in symmetric monoidal closed categories | Došen, Kosta ; Petrić, Zoran | Article | Mp. category will be shown later |
| 1996 | Jednakost izvođenja u kategorijalnoj teoriji dokaza | Petrić, Zoran | Doctoral theses | 70M70 |
| 2020 | Кохеренција и прости политопи | Ivanović, Jelena | Doctoral theses | 70M70 |
| 2021 | Комбинаторна топологија и графовски комплекси | Jelić Milutinović, Мarija | Doctoral theses | 70M70 |
| 1996 | Modal functional completeness | Došen, Kosta ; Petrić, Zoran | Book parts | Mp. category will be shown later |
| 2008 | O nekim supstrukturnim logikama | Ilić, Mirjana | Doctoral theses | 70M70 |
| 2000 | On permuting cut with contraction | Borisavljević, Mirjana ; Došen, Kosta ; Petrić, Zoran | Article | Mp. category will be shown later |
| 2024 | Probabilistic reasoning in computation and simple type theory | Prokić, Simona | Doctoral theses | 70M70 |
| 2021 | Samoreferencija i teorija pojmova | Kostić, Jovana | Doctoral theses | 70M70 |
| 2006 | Symmetric self-adjunctions: A justification of Brauer's representation of Brauer's algebras | Došen, Kosta ; Petrić, Zoran | Conference Paper | Mp. category will be shown later |
| 2001 | The maximility of Cartesian categories | Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2001 | The Typed Böhm Theorem | Došen, Kosta ; Petrić, Zoran | Article | Mp. category will be shown later |