Istraživači

Rezultati 41-60 od 221
GodinaNaslovAutor(i)Tip rezultataMp-kat.
2011Logical Constants and AdjunctionDošen, Kosta  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2010A prologue to the theory of deductionDošen, Kosta  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2010A prologue to the theory of deductionDošen, Kosta  Poglavlje u monografiji
Mp kategorija će biti prikazana naknadno.
2010Coherence for monoidal monads and comonadsDoš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
2009Bicartesian coherence revisitedDošen, Kosta  ; Petrić, ZoranPoglavlje u monografiji
Mp kategorija će biti prikazana naknadno.
2009Coherence in linear predicate logicDošen, Kosta  ; Petrić, Zoran  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2008Simplicial endomorphismsDošen, Kosta  Naučni članak
23M23 - Međunarodni časopis kategorije M23
2008Simplicial endomorphismisDošen, Kosta  Naučni članak
23M23 - Međunarodni časopis kategorije M23
2008Equality of proofs for linear equalityDošen, Kosta  ; Petrić, Zoran  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2007Coherence and confluenceDošen, Kosta  ; Petrić, ZoranPoglavlje u monografiji
Mp kategorija će biti prikazana naknadno.
2007Medial commutativityDoš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.
2006Associativity as commutativityDošen, Kosta  ; Petrić, Zoran  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2006A new proof of the faithfulness of Brauer's representation of Temperley-Lieb algebrasDošen, Kosta  ; Kovijanić, Žana; Petrić, Zoran  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2006Coherence for star-autonomous categoriesDošen, Kosta  ; Petrić, Zoran  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2006Models of deductionDošen, Kosta  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2006Symmetric self-adjunctions: A justification of Brauer's representation of Brauer's algebrasDošen, Kosta  ; Petrić, ZoranKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2005Negation and involutive adjunctionsDošen, Kosta  Poglavlje u monografiji
Mp kategorija će biti prikazana naknadno.