Došen, Kosta
Loading...
3
0
20
0
false
Full Name
Došen, Kosta
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 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 | Endomorphisms | Monads | Presentation by generators and relations | Simplicial category | Temperley-Lieb algebras | Triples
- 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
- 1 Bialgebra | Comonad | Frobenius algebra | Monad | Normal form | Split preorder
- 1 Bicartesian categories | Coherence | Decidability of equality of arrows
- 1 Brauer algebras | Categories of proofs | Digraphs | Identity criteria for proofs | Representation
- next >
Date issued
- 16 2010 - 2019
- 21 2000 - 2009
- 13 1990 - 1999
- 10 1980 - 1989
- 1 1975 - 1979
Results 21-40 of 61 (Search time: 0.005 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 21 | Došen, Kosta ; Petrić, Zoran | Medial commutativity | 1-May-2007 | Annals of Pure and Applied Logic; 146(2-3); 237-255 | M22 |
| 22 | Došen, Kosta ; Petrić, Zoran | Associativity as commutativity | 1-Jan-2006 | Journal of Symbolic Logic; 71(1); 217-226 | M22 |
| 23 | Došen, Kosta ; Petrić, Zoran | Coherence for star-autonomous categories | 1-Jan-2006 | Annals of Pure and Applied Logic; 141(1-2); 225-242 | M22 |
| 24 | 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 |
| 25 | Došen, Kosta | Models of deduction | 1-Jan-2006 | Synthese; 148(3); 639-657 | M22 |
| 26 | Došen, Kosta ; Petrić, Zoran | Coherence of Proof-Net Categories | 2005 | Publications de l'Institut Mathématique; 78(92); 1-33 | M24 |
| 27 | Došen, Kosta ; Petrić, Zoran | A Brauerian representation of split preorders | 24-Nov-2003 | Mathematical Logic Quarterly; 49(6); 579-586 | M22 |
| 28 | Došen, Kosta ; Petrić, Zoran | Self-adjunctions and matrices | 1-Oct-2003 | Journal of Pure and Applied Algebra; 184(1); 7-39 | M22 |
| 29 | Došen, Kosta ; Petrić, Zoran | Generality of proofs and its brauerian representation | 1-Jan-2003 | Journal of Symbolic Logic; 68(3); 740-750 | M22 |
| 30 | Došen, Kosta | IDentity Of Proofs Based On Normalization And Generality | 1-Jan-2003 | Bulletin of Symbolic Logic; 9(4); 477-503 | M21 |
| 31 | Došen, Kosta ; Petrić, Zoran | The geometry of self-adjunction | 2003 | Publications de l'Institut Mathématique; 73(87); 1-29 | M24 |
| 32 | Borisavljević, Mirjana; Došen, Kosta ; Petrić, Zoran | Kauffman monoids | 26-Aug-2002 | Journal of Knot Theory and its Ramifications; 11(2); 127-143 | M22 |
| 33 | Došen, Kosta ; Petrić, Zoran | Bicartesian coherence | 1-Jan-2002 | Studia Logica; 71(3); 331-353 | |
| 34 | Došen, Kosta ; Petrić, Zoran | The maximality of cartesian categories | 1-Jan-2001 | Mathematical Logic Quarterly; 47(1); 137-144 | M23 |
| 35 | 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 |
| 36 | Borisavljević, Mirjana; Došen, Kosta ; Petrić, Zoran | On permuting cut with contraction | 1-Jan-2000 | Mathematical Structures in Computer Science | M23 |
| 37 | 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 |
| 38 | 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 |
| 39 | Došen, Kosta | Cut elimination in adjuncion | 1-Jan-1999 | Bulletin of the Section of Logic; 28(2); 61-73 | |
| 40 | Došen, Kosta | Functions redefined | 1-Jan-1998 | American Mathematical Monthly; 105(7); 631-635 | M22 |
Results 1-1 of 1 (Search time: 0.0 seconds).
| Acronym | Title | Start date | Completion | P-Investigator |
|---|---|---|---|---|
| PROJECT 1630 | Representation of Proofs with Applications, Classification of Structures and Infinite Combinatorics | 01-01-2002 | 31-12-2005 | Došen, Kosta |