Browsing eNauka
Browsing by Author Petrić, Zoran
Showing results 1 to 17 of 17
Issue Date | Title | Author(s) | Type | М-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 | 23M23 |
2001 | The Typed Böhm Theorem | Došen, Kosta ; Petrić, Zoran | Article | Mp. category will be shown later |