Istraživači

Rezultati 21-40 od 61
GodinaNaslovAutor(i)Tip rezultataMp-kat.
2014Symmetric bimonoidal intermuting categories and ω × ω reduced bar constructionsPetrić, Zoran  ; Trimble, ToddNaučni članak
22M22 - Međunarodni časopis kategorije M22
2014O klasifikacijskim prostorima monoidalnih kategorijaPetrić, Zoran  ; Sonja Lj ČukićKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2014Cuts and GraphsPetrić, Zoran  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
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ć;
Poglavlje u monografiji
Mp kategorija će biti prikazana naknadno.
2013Ordinals in Frobenius monadsDošen, Kosta  ; Petrić, Zoran  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2013Syntax for split preordersDošen, Kosta  ; Petrić, Zoran  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2013Graphs of plural cutsDošen, Kosta  ; Petrić, Zoran  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2012Shuffles and concatenations in the construction of graphsDošen, Kosta  ; Petrić, Zoran  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2012Isomorphic formulae in classical propositional logicDošen, Kosta  ; Petrić, Zoran  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2012Invariants for classification of propositional formulaePetrić, Zoran  ; Došen, Kosta  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2012IntermutationDošen, Kosta  ; Petrić, Zoran  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2012Symmetric self-adjunctions and matricesDošen, Kosta  ; Petrić, Zoran  Naučni članak
23M23 - Međunarodni časopis kategorije M23
2011Hypergraph polytopesDošen, Kosta  ; Petrić, Zoran  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2011Coherence for modalitiesDošen, Kosta  ; Petrić, Zoran  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2010Coherence for monoidal endofunctorsDošen, Kosta  ; Petrić, Zoran  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2010Coherence for monoidal monads and comonadsDošen, Kosta  ; Petrić, Zoran  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2009Coherence in linear predicate logicDošen, Kosta  ; Petrić, Zoran  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2008Equality of proofs for linear equalityDošen, Kosta  ; Petrić, Zoran  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2007Relevant categories and partial functionsDošen, Kosta  ; Petrić, Zoran  Naučni članak
Mp kategorija će biti prikazana naknadno.
2007Proof-Net CategoriesDošen, Kosta  ; Petrić, Zoran  Monografija
Mp kategorija će biti prikazana naknadno.