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 12 to 31 of 57 < previous   next >
Author(s)TitleIssue DateAppears inRank
Došen, Kosta ; Petrić, Zoran Coherence for star-autonomous categories1-Jan-2006Annals of Pure and Applied Logic; 141(1-2); 225-242M22
Došen, Kosta ; Petrić, Zoran Coherence in linear predicate logic1-Mar-2009Annals of Pure and Applied Logic; 158(1-2); 125-153M22
Petrić, Zoran Coherence in substructural categories1-Jan-2002Studia Logica; 70(2); 271-296
Došen, Kosta ; Petrić, Zoran Coherence of Proof-Net Categories2005Publications de l'Institut Mathématique; 78(92); 1-33M24
Došen, Kosta ; Petrić, Zoran Coherent bicartesian and sesquicartesian categories1-Jan-2001Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Seminar on Proof Theory in Computer Science, PTCS 2001; Dagstuhl Castle; Germany; 7 October 2001 through 12 October 2001; 2183; 78-92M21
Petrić, Zoran Cuts and Graphs2014Hypothetical Reasoning, Eberhard Karls Universitaet Tuebingen; 44-44M30
Došen, Kosta ; Petrić, Zoran Equality of proofs for linear equality1-Sep-2008Archive for Mathematical Logic; 47(6); 549-565
Gajović, Stevan; Petrić, Zoran ; Telebaković Onić, SonjaA faithful 2-dimensional TQFT1-Jan-2020Homology, Homotopy and Applications; 22(1); 391-399M23
Petrić, Zoran G-dinaturality15-Aug-2003Annals of Pure and Applied Logic; 122(1-3); 131-173M22
Došen, Kosta ; Petrić, Zoran Generality of proofs and its brauerian representation1-Jan-2003Journal of Symbolic Logic; 68(3); 740-750M22
Došen, Kosta ; Petrić, Zoran Graphs of plural cuts6-May-2013Theoretical Computer Science; 484; 41-55M23
Borisavljević, Mirjana; Ghilezan, Silvia ; Janičić, Predrag; Krapež, Aleksandar ; Kurilić, Miloš; Mijajlović, Žarko; Marković, Zoran ; Ognjanović, Zoran ; Pantović, Jovanka; Petrić, Zoran ; Stanković, Miomir S.; Stanković, Radomir ; Stojmenović, Ivan; Vukomanović, ĐorđeHistory of Mathematical Logic in Serbia2013Logic in Central and Eastern Europe History, Science, and Discourse; 470-495M14
Došen, Kosta ; Petrić, Zoran Hypergraph polytopes1-Aug-2011Topology and its Applications; 158(12); 1405-1444M23
Došen, Kosta ; Petrić, Zoran Intermutation1-Feb-2012Applied Categorical Structures; 20(1); 43-95M23
Došen, Kosta ; Petrić, Zoran Invariants for classification of propositional formulae2012Workshop “Cross Perspectives on Proof Systems and their Significance”, École normale supérieure ParisM30
Došen, Kosta ; Petrić, Zoran Isomorphic formulae in classical propositional logic1-Feb-2012Mathematical Logic Quarterly; 58(1-2); 5-17M23
Došen, Kosta ; Petrić, Zoran Isomorphic objects in symmetric monoidal closed categoriest1-Jan-1997Mathematical Structures in Computer Science; 7(6); 639-662M22
Petrić, Zoran Izomorfne iskazne formule u kategorijalnoj teoriji dokaza1993master thesis: Matematički fakultet, Univerzitet u BeograduM71
Petrić, Zoran Jednakosti izvođenja u kategorijalnoj teoriji dokaza1997doctoral thesis: Matematički fakultet, Univerzitet u BeograduM70
Borisavljević, Mirjana; Došen, Kosta ; Petrić, Zoran Kauffman monoids26-Aug-2002Journal of Knot Theory and its Ramifications; 11(2); 127-143M22
Showing results 12 to 31 of 57 < previous   next >