Researchers
Petrić, Zoran
Type
Date issued
Results 21-40 of 61
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2014 | O klasifikacijskim prostorima monoidalnih kategorija | Petrić, Zoran | Conference Paper | Mp. category will be shown later |
| 2014 | Cuts and Graphs | Petrić, Zoran | Conference Paper | Mp. category will be shown later |
| 2014 | Segalovi simplicijalni prostori | Petrić, Zoran | Conference Paper | Mp. category will be shown later |
| 2013 | Ordinals in Frobenius monads | Došen, Kosta | Article | 22M22 |
| 2013 | History of Mathematical Logic in Serbia![]() | Borisavljević, Mirjana | Book parts | Mp. category will be shown later |
| 2013 | Graphs of plural cuts | Došen, Kosta | Article | 22M22 |
| 2013 | Syntax for split preorders | Došen, Kosta | Article | 22M22 |
| 2012 | Intermutation | Došen, Kosta | Article | 22M22 |
| 2012 | Invariants for classification of propositional formulae | Petrić, Zoran | Conference Paper | Mp. category will be shown later |
| 2012 | Isomorphic formulae in classical propositional logic | Došen, Kosta | Article | 22M22 |
| 2012 | Symmetric self-adjunctions and matrices | Došen, Kosta | Article | 23M23 |
| 2012 | Shuffles and concatenations in the construction of graphs | Došen, Kosta | Article | 22M22 |
| 2011 | Coherence for modalities | Došen, Kosta | Article | 22M22 |
| 2011 | Hypergraph polytopes | Došen, Kosta | Article | 22M22 |
| 2010 | Coherence for monoidal monads and comonads | Došen, Kosta | Article | 22M22 |
| 2010 | Coherence for monoidal endofunctors | Došen, Kosta | Article | 22M22 |
| 2009 | Coherence in linear predicate logic | Došen, Kosta | Article | 22M22 |
| 2008 | Equality of proofs for linear equality | Došen, Kosta | Article | 22M22 |
| 2007 | Proof-Net Categories | Došen, Kosta | Monograph | Mp. category will be shown later |
| 2007 | Relevant categories and partial functions | Došen, Kosta | Article | Mp. category will be shown later |
