Browsing by Author Petrić, Zoran
Showing results 45 to 57 of 57
< previous
| Author(s) | Title | Issue Date | Appears in | Rank |
|---|---|---|---|---|
| Došen, Kosta ; Petrić, Zoran | Relevant categories and partial functions | 1-Dec-2007 | Publications de l'Institut Mathematique; 96; 17-23 | |
| Došen, Kosta ; Petrić, Zoran | Representing conjunctive deductions by disjunctive deductions | 1-Mar-2017 | Review of Symbolic Logic; 10(1); 145-157 | M21 |
| Petrić, Zoran | Segal's multisimplicial spaces | 1-Jan-2015 | Publications de l'Institut Mathematique; 97(111); 11-21 | M24 |
| Došen, Kosta ; Petrić, Zoran | Self-adjunctions and matrices | 1-Oct-2003 | Journal of Pure and Applied Algebra; 184(1); 7-39 | M22 |
| Došen, Kosta ; Petrić, Zoran | Shuffles and concatenations in the construction of graphs | 1-Dec-2012 | Mathematical Structures in Computer Science; 22(6); 904-930 | M22 |
| Baralić, Djordje ; Petrić, Zoran ; Telebaković, Sonja | Spheres as frobenius objects | 18-Jul-2018 | Theory and Applications of Categories; 33; 691-726 | M23 |
| Petrić, Zoran ; Trimble, Todd | Symmetric bimonoidal intermuting categories and ω × ω reduced bar constructions | 1-Jan-2014 | Applied Categorical Structures; 22(3); 467-499 | M22 |
| Došen, Kosta ; Petrić, Zoran | Symmetric self-adjunctions and matrices | 1-Dec-2012 | Algebra Colloquium; 19(SPL. ISS. 1); 1051-1082 | |
| Došen, Kosta ; Petrić, Zoran | Syntax for split preorders | 1-Apr-2013 | Annals of Pure and Applied Logic; 164(4); 443-481 | M22 |
| Došen, Kosta ; Petrić, Zoran | The geometry of self-adjunction | 2003 | Publications de l'Institut Mathématique; 73(87); 1-29 | M24 |
| Došen, Kosta ; Petrić, Zoran | The maximality of the typed lambda calculus and of cartesian closed categories | 2000 | Publications de l'Institut Mathématique; 68(82); 1-19 | M24 |
| Došen, Kosta ; Petrić, Zoran | The typed Böhm theorem | 1-Jan-2001 | Electronic Notes in Theoretical Computer Science; BOTH 2001, Bohm's Theorem: Applications to Computer Science Theory (Satellite Workshop of ICALP 2001); Crete; Greece; 13 July 2001 through 13 July 2001; 50(2); 117-129 | |
| Došen, Kosta ; Petrić, Zoran | Weak cat-operads | 25-Mar-2015 | Logical Methods in Computer Science; 11(1) | M22 |