Истраживачи

Резултати 21-40 од 61
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2014O klasifikacijskim prostorima monoidalnih kategorijaPetrić, Zoran  ; Sonja Lj ČukićКонференцијски рад
Мп категорија ће бити приказана накнадно.
2014Symmetric bimonoidal intermuting categories and ω × ω reduced bar constructionsPetrić, Zoran  ; Trimble, ToddНаучни чланак
22M22 - Међународни часопис категорије M22
2014Segalovi simplicijalni prostoriPetrić, Zoran  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2013History of Mathematical Logic in SerbiaBorisavljević, 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ć;
Поглавље у монографији
Мп категорија ће бити приказана накнадно.
2013Ordinals in Frobenius monadsDošen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2013Syntax for split preordersDošen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2013Graphs of plural cutsDošen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2012Invariants for classification of propositional formulaePetrić, Zoran  ; Došen, Kosta  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2012Isomorphic formulae in classical propositional logicDošen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2012IntermutationDošen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2012Shuffles and concatenations in the construction of graphsDošen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2012Symmetric self-adjunctions and matricesDošen, Kosta  ; Petrić, Zoran  Научни чланак
23M23 - Међународни часопис категорије M23
2011Hypergraph polytopesDošen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2011Coherence for modalitiesDošen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2010Coherence for monoidal monads and comonadsDošen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2010Coherence for monoidal endofunctorsDošen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2009Coherence in linear predicate logicDošen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2008Equality of proofs for linear equalityDošen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2007Proof-Net CategoriesDošen, Kosta  ; Petrić, Zoran  Монографија
Мп категорија ће бити приказана накнадно.
2007Medial commutativityDošen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22