Istraživači
Petrić, Zoran
Godina
Rezultati 41-60 od 61
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2007 | Proof-Net Categories | Došen, Kosta   ; Petrić, Zoran | Monografija | Mp kategorija će biti prikazana naknadno. |
| 2006 | Coherence for star-autonomous categories | Došen, Kosta ; Petrić, Zoran | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2006 | Associativity as commutativity | Došen, Kosta ; Petrić, Zoran | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2006 | A new proof of the faithfulness of Brauer's representation of Temperley-Lieb algebras | Došen, Kosta ; Kovijanić, Žana; Petrić, Zoran | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2005 | Coherence of Proof-Net Categories | Došen, Kosta ; Petrić, Zoran | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2004 | Proof-Theoretical Coherence | Došen, Kosta ; Petrić, Zoran | Monografija | Mp kategorija će biti prikazana naknadno. |
| 2003 | The geometry of self-adjunction | Došen, Kosta ; Petrić, Zoran | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2003 | G-dinaturality | Petrić, Zoran | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2003 | Generality of proofs and its brauerian representation | Došen, Kosta ; Petrić, Zoran | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2003 | Self-adjunctions and matrices | Došen, Kosta ; Petrić, Zoran | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2003 | A Brauerian representation of split preorders | Došen, Kosta ; Petrić, Zoran | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2002 | Kauffman monoids | Borisavljević, Mirjana ; Došen, Kosta ; Petrić, Zoran | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2002 | Bicartesian coherence | Došen, Kosta ; Petrić, Zoran | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2002 | Coherence in substructural categories | Petrić, Zoran | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2001 | Coherent bicartesian and sesquicartesian categories | Došen, Kosta ; Petrić, Zoran | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2001 | The maximality 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 | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2000 | The maximality of the typed lambda calculus and of cartesian closed categories | Došen, Kosta ; Petrić, Zoran | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1999 | Cartesian isomorphisms are symmetric monoidal: A justification of linear logic | Došen, Kosta ; Petrić, Zoran | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 1997 | Jednakosti izvođenja u kategorijalnoj teoriji dokaza | Petrić, Zoran | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |