Researchers
Petrić, Zoran
Година
Резултати 21-40 од 61
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2014 | Cuts and Graphs | Petrić, Zoran   | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Symmetric bimonoidal intermuting categories and ω × ω reduced bar constructions | Petrić, Zoran ; Trimble, Todd | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2014 | Segalovi simplicijalni prostori | Petrić, Zoran | Conference Paper | Mp. category will be shown later |
| 2013 | History of Mathematical Logic in Serbia | Borisavljević, Mirjana ; Đorđe Vukomanović; Gilezan, Silvia ; Janičić, Predrag Đ. ; Krapež, Aleksandar ; Kurilić, Miloš S. ; Zoran Marković; Žarko Mijajlović; Ognjanović, Zoran ; Pantović, Jovanka ;
Petrić, Zoran
; Miomir Stanković; Stanković, Radomir ; Ivan Stojmenović; | Book parts | Mp. category will be shown later |
| 2013 | Graphs of plural cuts | Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2013 | Syntax for split preorders | Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2013 | Ordinals in Frobenius monads | Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2012 | Symmetric self-adjunctions and matrices | Došen, Kosta ; Petrić, Zoran | Article | 23M23 |
| 2012 | Intermutation | Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2012 | Isomorphic formulae in classical propositional logic | Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2012 | Invariants for classification of propositional formulae | Petrić, Zoran ; Došen, Kosta | Conference Paper | Mp. category will be shown later |
| 2012 | Shuffles and concatenations in the construction of graphs | Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2011 | Coherence for modalities | Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2011 | Hypergraph polytopes | Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2010 | Coherence for monoidal endofunctors | Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2010 | Coherence for monoidal monads and comonads | Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2009 | Coherence in linear predicate logic | Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2008 | Equality of proofs for linear equality | Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2007 | Relevant categories and partial functions | Došen, Kosta ; Petrić, Zoran | Article | Mp. category will be shown later |
| 2007 | Proof-Net Categories | Došen, Kosta ; Petrić, Zoran | Monograph | Mp. category will be shown later |