Showing results 28 to 47 of 60
< previous
next >
| Author(s) | Title | Issue Date | Appears in | Rank |
| Došen, Kosta ; Petrić, Zoran | Intermutation | 1-Feb-2012 | Applied Categorical Structures; 20(1); 43-95 | M23 |
| Došen, Kosta ; Petrić, Zoran | Invariants for classification of propositional formulae | 2012 | Workshop “Cross Perspectives on Proof Systems and their Significance”, École normale supérieure Paris | M30 |
| Došen, Kosta ; Petrić, Zoran | Isomorphic formulae in classical propositional logic | 1-Feb-2012 | Mathematical Logic Quarterly; 58(1-2); 5-17 | M23 |
| Došen, Kosta ; Petrić, Zoran | Isomorphic objects in symmetric monoidal closed categoriest | 1-Jan-1997 | Mathematical Structures in Computer Science; 7(6); 639-662 | M22 |
| Petrić, Zoran | Izomorfne iskazne formule u kategorijalnoj teoriji dokaza | 1993 | master thesis: Matematički fakultet, Univerzitet u Beogradu | M71 |
| Petrić, Zoran | Jednakosti izvođenja u kategorijalnoj teoriji dokaza | 1997 | doctoral thesis: Matematički fakultet, Univerzitet u Beogradu | M70 |
| Borisavljević, Mirjana; Došen, Kosta ; Petrić, Zoran | Kauffman monoids | 26-Aug-2002 | Journal of Knot Theory and its Ramifications; 11(2); 127-143 | M22 |
| Došen, Kosta ; Petrić, Zoran | The maximality of cartesian categories | 1-Jan-2001 | Mathematical Logic Quarterly; 47(1); 137-144 | M23 |
| Došen, Kosta ; Petrić, Zoran | Medial commutativity | 1-May-2007 | Annals of Pure and Applied Logic; 146(2-3); 237-255 | M22 |
| Petrić, Zoran | Monoids, Segal's condition and bisimplicial spaces | 2015 | Četvrta Matematička Konferencija Republike Srpske; 7-16 | M30 |
| Čukić, Sonja Lj.; Petrić, Zoran | The n-fold reduced bar construction | 1-Sep-2018 | Journal of Homotopy and Related Structures; 13(3); 503-543 | |
| Došen, Kosta ; Kovijanić, Žana; Petrić, Zoran | A new proof of the faithfulness of Brauer's representation of Temperley-Lieb algebras | 1-Jan-2006 | International Journal of Algebra and Computation; 16(5); 959-968 | M23 |
| Krapež, Aleksandar ; Petrić, Zoran | A note on semisymmetry | 1-Jan-2017 | Quasigroups and Related Systems; 25(2); 269-278 | |
| Borisavljević, Mirjana; Došen, Kosta ; Petrić, Zoran | On permuting cut with contraction | 1-Jan-2000 | Mathematical Structures in Computer Science | M23 |
| Petrić, Zoran | On stretching the interval simplex-permutohedron | 1-Feb-2014 | Journal of Algebraic Combinatorics; 39(1); 99-125 | M21 |
| Došen, Kosta ; Petrić, Zoran | Ordinals in Frobenius monads | 1-Apr-2013 | Journal of Pure and Applied Algebra; 217(4); 763-778 | M22 |
| Došen, Kosta ; Petrić, Zoran | A planarity criterion for graphs | 1-Jan-2015 | SIAM Journal on Discrete Mathematics; 29(4); 2160-2165 | M22 |
| Došen, Kosta ; Petrić, Zoran | Proof-Net Categories | 2007 | | M11 |
| Došen, Kosta ; Petrić, Zoran | Proof-Theoretical Coherence | 2004 | 1 | M11 |
| Baralić, Đorđe ; Curien, Pierre Louis; Milićević, Marina; Obradović, Jovana ; Petrić, Zoran ; Zekić, Mladen ; Živaljević, Rade | Proofs and surfaces | 1-Oct-2020 | Annals of Pure and Applied Logic; 171(9); 102845 | M21 |
