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 Associativity | Binomial coefficients | Coherence | Commutativity | Mac Lane's hexagon | Mac Lane's pentagon | Monoidal categories | Symmetric groups | Symmetric monoidal categories | Yang-Baxter equation
- 1 Bialgebra | Comonad | Frobenius algebra | Monad | Normal form | Split preorder
- 1 Brauer algebras | Categories of proofs | Digraphs | Identity criteria for proofs | Representation
- 1 Categorial coherence | Cut elimination | Star-autonomous categories | Symmetric monoidal closed categories
- 1 Classical linear logic | Coherence | Criteria of identity for proofs | Cut elimination | First-order predicate logic | Proof-net 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 Concept | Deduction | Extension | General proof theory | Intension | Proof-theoretic semantics | Sequent | Set
- 1 Deduction | General proof theory | Natural deduction | Propositional logic | Sequent
- next >
Date issued
Type
- 21 Article
Results 21-21 of 21 (Search time: 0.002 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 21 | Došen, Kosta | One more reference on self-reference | 1-Dec-1992 | The Mathematical Intelligencer; 14(4); 4-5 | M22 |
Results 1-1 of 1 (Search time: 0.001 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 |