eNauka - pregled
Pregled prema Autor Petrić, Zoran
Prikaz rezultata 1 do 17 od 17
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2009 | Bicartesian coherence revisited | Došen, Kosta   ; Petrić, Zoran | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2007 | Coherence and confluence | Došen, Kosta ; Petrić, Zoran | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2001 | Coherent bicartesian and sesquicartesian categories | Došen, Kosta ; Petrić, Zoran | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2019 | Facet colouring of nestohedra | Baralić, Djordje; Petrić, Zoran; Ivanović, Jelena ; Telebaković Onić, Sonja | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2023 | Интензионалност и појам алгоритма | Maksimović, Katarina | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 1997 | Isomorphic objects in symmetric monoidal closed categories | Došen, Kosta ; Petrić, Zoran | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1996 | Jednakost izvođenja u kategorijalnoj teoriji dokaza | Petrić, Zoran | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2020 | Кохеренција и прости политопи | Ivanović, Jelena | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2021 | Комбинаторна топологија и графовски комплекси | Jelić Milutinović, Мarija | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 1996 | Modal functional completeness | Došen, Kosta ; Petrić, Zoran | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2008 | O nekim supstrukturnim logikama | Ilić, Mirjana | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2000 | On permuting cut with contraction | Borisavljević, Mirjana ; Došen, Kosta ; Petrić, Zoran | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2024 | Probabilistic reasoning in computation and simple type theory | Prokić, Simona | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2021 | Samoreferencija i teorija pojmova | Kostić, Jovana | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2006 | Symmetric self-adjunctions: A justification of Brauer's representation of Brauer's algebras | Došen, Kosta ; Petrić, Zoran | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2001 | The maximility of Cartesian categories | Došen, Kosta ; Petrić, Zoran | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2001 | The Typed Böhm Theorem | Došen, Kosta ; Petrić, Zoran | Naučni članak | Mp kategorija će biti prikazana naknadno. |