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 Abstract polytope | Associahedron | Cyclohedron | Hypergraph | Permutohedron | Simple polytope | Simplex | Truncation
- 1 Associativity | Coherence | Commutativity | Iterated monoidal categories | Loop spaces | Monoidal categories | Symmetric monoidal categories
- 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 Faithful functor | Frobenius algebra | Topological quantum field theory | Zsigmondy's theorem
- 1 Linear independence | Matrices | Representation | Temperley-Lieb algebras
- 1 Multiple-conclusion sequent | Oriented graph | Planarity | Plural cut | Plural sequent | Polycategory
Date issued
Type
- 11 Article
Results 1-11 of 11 (Search time: 0.002 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 1 | Gajović, Stevan; Petrić, Zoran ; Telebaković Onić, Sonja | A faithful 2-dimensional TQFT | 1-Jan-2020 | Homology, Homotopy and Applications; 22(1); 391-399 | M23 |
| 2 | Baralić, Djordje ; Petrić, Zoran ; Telebaković, Sonja | Spheres as frobenius objects | 18-Jul-2018 | Theory and Applications of Categories; 33; 691-726 | M23 |
| 3 | Došen, Kosta ; Petrić, Zoran | Graphs of plural cuts | 6-May-2013 | Theoretical Computer Science; 484; 41-55 | M23 |
| 4 | Došen, Kosta ; Petrić, Zoran | Intermutation | 1-Feb-2012 | Applied Categorical Structures; 20(1); 43-95 | M23 |
| 5 | Došen, Kosta ; Petrić, Zoran | Isomorphic formulae in classical propositional logic | 1-Feb-2012 | Mathematical Logic Quarterly; 58(1-2); 5-17 | M23 |
| 6 | Došen, Kosta ; Petrić, Zoran | Hypergraph polytopes | 1-Aug-2011 | Topology and its Applications; 158(12); 1405-1444 | M23 |
| 7 | Došen, Kosta ; Petrić, Zoran | Coherence for monoidal endofunctors | 1-Aug-2010 | Mathematical Structures in Computer Science; 20(4); 523-543 | M23 |
| 8 | Došen, Kosta ; Petrić, Zoran | Coherence for monoidal monads and comonads | 1-Aug-2010 | Mathematical Structures in Computer Science; 20(4); 545-561 | M23 |
| 9 | 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 |
| 10 | Došen, Kosta ; Petrić, Zoran | The maximality of cartesian categories | 1-Jan-2001 | Mathematical Logic Quarterly; 47(1); 137-144 | M23 |
| 11 | Borisavljević, Mirjana; Došen, Kosta ; Petrić, Zoran | On permuting cut with contraction | 1-Jan-2000 | Mathematical Structures in Computer Science | M23 |
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 |