Petrić, Zoran
Loading...
3
0
20
0
false
Full Name
Petrić, Zoran
ORCID
Scopus Author ID
Country
Serbia
Loading...
2
0
20
0
false
Subject
- 1 Bar construction | Infinite loop spaces | Monoidal categories
- 1 Bialgebra | Comonad | Frobenius algebra | Monad | Normal form | Split preorder
- 1 Bicartesian categories | Coherence | Decidability of equality of arrows
- 1 Bicartesian closed categories | Dinatural transformations
- 1 Brauer algebras | Categories of proofs | Digraphs | Identity criteria for proofs | Representation
- 1 Brauerian representation | Cobordism | Coherence | Commutative Frobenius object | Normal form | Oriented manifold | Symmetric monoidal category | Topological quantum field theory
- 1 Cartesian categories | Coherence | Conjunctive logic | Natural deduction | Post completeness
- 1 Categorial coherence | Categories | Classical linear propositional logic | Classical propositional logic | Equality of deductions | Identity of proofs | Isomorphic formulae
- 1 Categorial coherence | Cut elimination | Star-autonomous categories | Symmetric monoidal closed categories
- 1 Categorial proof theory | Coherence | Substructural logics
- < previous next >
Date issued
Type
Results 1-20 of 57 (Search time: 0.006 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
1 | Petrić, Zoran ; Zekić, Mladen | Coherence for closed categories with biproducts | 1-Mar-2021 | Journal of Pure and Applied Algebra; 225(3); 106533 | ~M22 |
2 | 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 |
3 | Gajović, Stevan; Petrić, Zoran ; Telebaković Onić, Sonja | A faithful 2-dimensional TQFT | 1-Jan-2020 | Homology, Homotopy and Applications; 22(1); 391-399 | M23 |
4 | Baralić, Đorđe ; Ivanović, Jelena; Petrić, Zoran | A simple permutoassociahedron | Dec-2019 | Discrete Mathematics; 342(12) | M22 |
5 | Čukić, Sonja Lj.; Petrić, Zoran | The n-fold reduced bar construction | 1-Sep-2018 | Journal of Homotopy and Related Structures; 13(3); 503-543 | |
6 | Baralić, Djordje ; Petrić, Zoran ; Telebaković, Sonja | Spheres as frobenius objects | 18-Jul-2018 | Theory and Applications of Categories; 33; 691-726 | M23 |
7 | Došen, Kosta ; Petrić, Zoran | Representing conjunctive deductions by disjunctive deductions | 1-Mar-2017 | Review of Symbolic Logic; 10(1); 145-157 | M21 |
8 | Krapež, Aleksandar ; Petrić, Zoran | A note on semisymmetry | 1-Jan-2017 | Quasigroups and Related Systems; 25(2); 269-278 | |
9 | Došen, Kosta ; Petrić, Zoran | Weak cat-operads | 25-Mar-2015 | Logical Methods in Computer Science; 11(1) | M22 |
10 | Došen, Kosta ; Petrić, Zoran | A planarity criterion for graphs | 1-Jan-2015 | SIAM Journal on Discrete Mathematics; 29(4); 2160-2165 | M22 |
11 | Petrić, Zoran | Segal's multisimplicial spaces | 1-Jan-2015 | Publications de l'Institut Mathematique; 97(111); 11-21 | M24 |
12 | Petrić, Zoran | Monoids, Segal's condition and bisimplicial spaces | 2015 | Četvrta Matematička Konferencija Republike Srpske; 7-16 | M30 |
13 | Petrić, Zoran | 270 Minutes on Categorial Proof Theory | 2015 | Logic in Computer Science; 18(26); 7-35 | M14 |
14 | Petrić, Zoran | On stretching the interval simplex-permutohedron | 1-Feb-2014 | Journal of Algebraic Combinatorics; 39(1); 99-125 | M21 |
15 | Petrić, Zoran ; Trimble, Todd | Symmetric bimonoidal intermuting categories and ω × ω reduced bar constructions | 1-Jan-2014 | Applied Categorical Structures; 22(3); 467-499 | M22 |
16 | Petrić, Zoran | Cuts and Graphs | 2014 | Hypothetical Reasoning, Eberhard Karls Universitaet Tuebingen; 44-44 | M30 |
17 | Čukić, Sonja; Petrić, Zoran | Classifying spaces of monoidal categories | 2014 | Treća Matematička Konferencija Republike Srpske; 23-29 | M30 |
18 | Došen, Kosta ; Petrić, Zoran | Graphs of plural cuts | 6-May-2013 | Theoretical Computer Science; 484; 41-55 | M23 |
19 | Došen, Kosta ; Petrić, Zoran | Ordinals in Frobenius monads | 1-Apr-2013 | Journal of Pure and Applied Algebra; 217(4); 763-778 | M22 |
20 | Došen, Kosta ; Petrić, Zoran | Syntax for split preorders | 1-Apr-2013 | Annals of Pure and Applied Logic; 164(4); 443-481 | M22 |
Projects
(Co-Investigators)
Results 1-4 of 4 (Search time: 0.001 seconds).
Acronym | Title | Start date | Completion | P-Investigator |
---|---|---|---|---|
PROJECT 144029 | Models, Languages, Types, and Processes in Computing | 01-01-2006 | 31-12-2010 | Ghilezan, Silvia |
PROJECT 1630 | Representation of Proofs with Applications, Classification of Structures and Infinite Combinatorics | 01-01-2002 | 31-12-2005 | Došen, Kosta |
PROJECT 174026 | Representations of logical structures and formal languages and their application in computing | 01-01-2011 | 31-12-2019 | Ghilezan, Silvia |
PROJECT 144013 | Representations of logical structures and their application in computer science | 01-01-2006 | 31-12-2010 | Ognjanović, Zoran |