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 2-category | Associahedron | Bicategory | Cat-operad | Coherence | Hemiassociahedron | Multicategory | Nominal arity | Non-symmetric operad | Operad | Permutohedron | Symmetric groups | Weak Cat-operad
- 1 3-manifolds with boundary | gluing | Kirby’s calculus | Knots | links | surgery
- 1 Abstract polytope | Associahedron | Cyclohedron | Hypergraph | Permutohedron | Simple polytope | Simplex | Truncation
- 1 adjunction | Brauer's centralizer algebras | matrix representation | symmetric groups
- 1 Adjunction | Categorial coherence | Congruence relation | Equality | Equality of proofs | Equivalence relation | Generality of proofs | Linear logic | Monoidal categories | Preordering relation
- 1 Adjunction | Category | Embedding | Functor | Homotopy | Monadic adjunction | Quasigroup | Semisymmetrization | Variety
- 1 Associahedron | Building set | Combinatorial blowup | Cyclohedron | Hypergraph | Nested set | Permutohedron | Simple polytope | Simplex | Stellar subdivision | Truncation
- 1 Associahedron | Cyclohedron | Permutohedron | Simple permutoassociahedron | Stellohedron
- 1 Associativity | Binomial coefficients | Coherence | Commutativity | Mac Lane's hexagon | Mac Lane's pentagon | Monoidal categories | Symmetric groups | Symmetric monoidal categories | Yang-Baxter equation
- 1 Associativity | Coherence | Commutativity | Iterated monoidal categories | Loop spaces | Monoidal categories | Symmetric monoidal categories
- next >
Date issued
Type
- 49 Article
Results 41-49 of 49 (Search time: 0.002 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 41 | Borisavljević, Mirjana; Došen, Kosta ; Petrić, Zoran | Kauffman monoids | 26-Aug-2002 | Journal of Knot Theory and its Ramifications; 11(2); 127-143 | M22 |
| 2 | Došen, Kosta ; Petrić, Zoran | Bicartesian coherence | 1-Jan-2002 | Studia Logica; 71(3); 331-353 | |
| 3 | Petrić, Zoran | Coherence in substructural categories | 1-Jan-2002 | Studia Logica; 70(2); 271-296 | |
| 4 | Došen, Kosta ; Petrić, Zoran | The maximality of cartesian categories | 1-Jan-2001 | Mathematical Logic Quarterly; 47(1); 137-144 | M23 |
| 5 | Došen, Kosta ; Petrić, Zoran | Coherent bicartesian and sesquicartesian categories | 1-Jan-2001 | Lecture 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-92 | M21 |
| 6 | Borisavljević, Mirjana; Došen, Kosta ; Petrić, Zoran | On permuting cut with contraction | 1-Jan-2000 | Mathematical Structures in Computer Science | M23 |
| 7 | 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 |
| 8 | Došen, Kosta ; Petrić, Zoran | Cartesian isomorphisms are symmetric monoidal: A justification of linear logic | 1-Jan-1999 | Journal of Symbolic Logic; 64(1); 227-242 | M22 |
| 9 | Došen, Kosta ; Petrić, Zoran | Isomorphic objects in symmetric monoidal closed categoriest | 1-Jan-1997 | Mathematical Structures in Computer Science; 7(6); 639-662 | 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 |