Browsing by Author Petrić, Zoran

Or, select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 42 to 58 of 58 < previous 
Author(s)TitleIssue DateAppears inRank
Došen, Kosta ; Petrić, Zoran A planarity criterion for graphs1-Jan-2015SIAM Journal on Discrete Mathematics; 29(4); 2160-2165M22
Došen, Kosta ; Petrić, Zoran Proof-Net Categories2007M11
Došen, Kosta ; Petrić, Zoran Proof-Theoretical Coherence20041M11
Baralić, Đorđe ; Curien, Pierre Louis; Milićević, Marina; Obradović, Jovana ; Petrić, Zoran ; Zekić, Mladen ; Živaljević, Rade Proofs and surfaces1-Oct-2020Annals of Pure and Applied Logic; 171(9); 102845M21
Došen, Kosta ; Petrić, Zoran Relevant categories and partial functions1-Dec-2007Publications de l'Institut Mathematique; 96; 17-23
Došen, Kosta ; Petrić, Zoran Representing conjunctive deductions by disjunctive deductions1-Mar-2017Review of Symbolic Logic; 10(1); 145-157M21
Petrić, Zoran Segal's multisimplicial spaces1-Jan-2015Publications de l'Institut Mathematique; 97(111); 11-21M24
Došen, Kosta ; Petrić, Zoran Self-adjunctions and matrices1-Oct-2003Journal of Pure and Applied Algebra; 184(1); 7-39M22
Došen, Kosta ; Petrić, Zoran Shuffles and concatenations in the construction of graphs1-Dec-2012Mathematical Structures in Computer Science; 22(6); 904-930M22
Baralić, Djordje ; Petrić, Zoran ; Telebaković, SonjaSpheres as frobenius objects18-Jul-2018Theory and Applications of Categories; 33; 691-726M23
Petrić, Zoran ; Trimble, ToddSymmetric bimonoidal intermuting categories and ω × ω reduced bar constructions1-Jan-2014Applied Categorical Structures; 22(3); 467-499M22
Došen, Kosta ; Petrić, Zoran Symmetric self-adjunctions and matrices1-Dec-2012Algebra Colloquium; 19(SPL. ISS. 1); 1051-1082
Došen, Kosta ; Petrić, Zoran Syntax for split preorders1-Apr-2013Annals of Pure and Applied Logic; 164(4); 443-481M22
Došen, Kosta ; Petrić, Zoran The geometry of self-adjunction2003Publications de l'Institut Mathématique; 73(87); 1-29M24
Došen, Kosta ; Petrić, Zoran The maximality of the typed lambda calculus and of cartesian closed categories2000Publications de l'Institut Mathématique; 68(82); 1-19M24
Došen, Kosta ; Petrić, Zoran The typed Böhm theorem1-Jan-2001Electronic 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-operads25-Mar-2015Logical Methods in Computer Science; 11(1)M22