Showing results 44 to 63 of 68
< previous
next >
| Author(s) | Title | Issue Date | Appears in | Rank |
| 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 |
| Došen, Kosta | Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic | 3-Aug-1992 | Theoretical Computer Science; 102(1); 207-214 | M23 |
| Došen, Kosta | A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic | 1-Jan-1987 | Mathematical Logic Quarterly; 33(5); 453-456 | |
| Došen, Kosta | A note on the law of identity and the converse parry property | 1-Jan-1978 | Notre Dame Journal of Formal Logic; 19(1); 174-176 | |
| Borisavljević, Mirjana; Došen, Kosta ; Petrić, Zoran | On permuting cut with contraction | 1-Jan-2000 | Mathematical Structures in Computer Science | M23 |
| Došen, Kosta | One more reference on self-reference | 1-Dec-1992 | The Mathematical Intelligencer; 14(4); 4-5 | M22 |
| Došen, Kosta ; Petrić, Zoran | Ordinals in Frobenius monads | 1-Apr-2013 | Journal of Pure and Applied Algebra; 217(4); 763-778 | M22 |
| Došen, Kosta ; Petrić, Zoran | A planarity criterion for graphs | 1-Jan-2015 | SIAM Journal on Discrete Mathematics; 29(4); 2160-2165 | M22 |
| Došen, Kosta ; Petrić, Zoran | Proof-Net Categories | 2007 | | M11 |
| Došen, Kosta ; Petrić, Zoran | Proof-Theoretical Coherence | 2004 | 1 | M11 |
| Došen, Kosta | A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic | 1-Nov-1981 | Journal of Philosophical Logic; 10(4); 399-408 | |
| Došen, Kosta ; Petrić, Zoran | Relevant categories and partial functions | 1-Dec-2007 | Publications de l'Institut Mathematique; 96; 17-23 | |
| Došen, Kosta ; Petrić, Zoran | Representing conjunctive deductions by disjunctive deductions | 1-Mar-2017 | Review of Symbolic Logic; 10(1); 145-157 | M21 |
| Došen, Kosta | Rudimentary Kripke models for the intuitionistic propositional calculus | 28-Jun-1993 | Annals of Pure and Applied Logic; 62(1); 21-49 | |
| Došen, Kosta ; Petrić, Zoran | Self-adjunctions and matrices | 1-Oct-2003 | Journal of Pure and Applied Algebra; 184(1); 7-39 | M22 |
| Došen, Kosta | Sequent-systems and groupoid models. I | 1-Dec-1988 | Studia Logica; 47(4); 353-385 | |
| Došen, Kosta | Sequent-systems and groupoid models. II | 1-Mar-1989 | Studia Logica; 48(1); 41-65 | |
| Došen, Kosta ; Petrić, Zoran | Shuffles and concatenations in the construction of graphs | 1-Dec-2012 | Mathematical Structures in Computer Science; 22(6); 904-930 | M22 |
| Došen, Kosta | Simplicial endomorphisms | 1-Jul-2008 | Communications in Algebra; 36(7); 2681-2709 | M23 |
| Došen, Kosta ; Petrić, Zoran | Symmetric self-adjunctions and matrices | 1-Dec-2012 | Algebra Colloquium; 19(SPL. ISS. 1); 1051-1082 | |
