Autori: Dosen Kosta M
| Naslov | Coherence in linear predicate logic (Article) |
| Autori | Dosen Kosta M Petric Zoran J |
| Info | ANNALS OF PURE AND APPLIED LOGIC, (2009), vol. 158 br. 1-2, str. 125-153 |
| Projekat | Ministry of Science of Serbia [144013, 144029] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Equality of proofs for linear equality (Article) |
| Autori | Dosen Kosta M Petric Zoran J |
| Info | ARCHIVE FOR MATHEMATICAL LOGIC, (2008), vol. 47 br. 6, str. 549-565 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Simplicial endomorphisms (Article) |
| Autori | Dosen Kosta M |
| Info | COMMUNICATIONS IN ALGEBRA, (2008), vol. 36 br. 7, str. 2681-2709 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Medial commutativity (Article) |
| Autori | Dosen Kosta M Petric Zoran J |
| Info | ANNALS OF PURE AND APPLIED LOGIC, (2007), vol. 146 br. 2-3, str. 237-255 |
| Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | A new proof of the faithfulness of Brauer's representation of Temperley-Lieb algebras (Article) |
| Autori | Dosen Kosta M Kovijanic Zana Petric Zoran J |
| Info | INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, (2006), vol. 16 br. 5, str. 959-968 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | Coherence for star-autonomous categories (Article) |
| Autori | Dosen Kosta M Petric Zoran J |
| Info | ANNALS OF PURE AND APPLIED LOGIC, (2006), vol. 141 br. 1-2, str. 225-242 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Models of deduction (Article) |
| Autori | Dosen Kosta M |
| Info | SYNTHESE, (2006), vol. 148 br. 3, str. 639-657 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Associativity as commutativity (Article) |
| Autori | Dosen Kosta M Petric Zoran J |
| Info | JOURNAL OF SYMBOLIC LOGIC, (2006), vol. 71 br. 1, str. 217-226 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Identity of proofs based on normalization and generality (Article) |
| Autori | Dosen Kosta M |
| Info | BULLETIN OF SYMBOLIC LOGIC, (2003), vol. 9 br. 4, str. 477-503 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | A Brauerian representation of split preorders (Article) |
| Autori | Dosen Kosta M Petric Zoran J |
| Info | MATHEMATICAL LOGIC QUARTERLY, (2003), vol. 49 br. 6, str. 579-586 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
