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 Categorial coherence | Cut elimination | Star-autonomous categories | Symmetric monoidal closed categories
- 1 Categorial proof theory | Coherence | Substructural logics
- 1 Categorial proof theory | Conjunction and disjunction | Decidability of equality of deductions
- 1 Ceva-Menelaus proof | Connected sum | Cyclic operad | Incidence theorem | Sequent system | Simplicial homology
- 1 Classical linear logic | Coherence | Criteria of identity for proofs | Cut elimination | First-order predicate logic | Proof-net category
- 1 Cobordism | Compact closed category | Dagger category | Enriched category | Symmetric monoidal closed category
- 1 Cocycle | Kuratowski's graphs | Planar graph
- 1 Coherence | Insertion | Mac Lane's hexagon | Mac Lane's pentagon | Monoidal categories | Symmetric monoidal categories
- 1 Diagonal natural transformation | Intuitionistic relevant logic | Partial functions | Pointed sets | Symmetric monoidal closed categories
- 1 Faithful functor | Frobenius algebra | Topological quantum field theory | Zsigmondy's theorem
- < previous next >
Date issued
Type
- 49 Article
Results 41-49 of 49 (Search time: 0.003 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 |
| 42 | Došen, Kosta ; Petrić, Zoran | Bicartesian coherence | 1-Jan-2002 | Studia Logica; 71(3); 331-353 | |
| 43 | Petrić, Zoran | Coherence in substructural categories | 1-Jan-2002 | Studia Logica; 70(2); 271-296 | |
| 44 | Došen, Kosta ; Petrić, Zoran | The maximality of cartesian categories | 1-Jan-2001 | Mathematical Logic Quarterly; 47(1); 137-144 | M23 |
| 45 | 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 |
| 46 | Borisavljević, Mirjana; Došen, Kosta ; Petrić, Zoran | On permuting cut with contraction | 1-Jan-2000 | Mathematical Structures in Computer Science | M23 |
| 47 | 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 |
| 48 | 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 |
| 49 | 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 |