Autori: Dosen Kosta M
Naslov | Godel on Deduction (Article) |
Autori | Dosen Kosta M Adzic Milos R |
Info | STUDIA LOGICA, (2019), vol. 107 br. 1, str. 31-51 |
Projekat | Ministry of Education, Science and Technological Development of Serbia; French National Research Agency [ANR-09-BLAN-0313] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
Naslov | Godel's Natural Deduction (Article) |
Autori | Dosen Kosta M Adzic Milos R |
Info | STUDIA LOGICA, (2018), vol. 106 br. 2, str. 397-415 |
Projekat | Ministry of Education, Science and Technological Development of Serbia; Alexander von Humboldt Foundation; French National Research Agency [ANR-09-BLAN-0313] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
Naslov | Representing Conjunctive Deductions by Disjunctive Deductions (Article) |
Autori | Dosen Kosta M Petric Zoran J |
Info | REVIEW OF SYMBOLIC LOGIC, (2017), vol. 10 br. 1, str. 145-157 |
Projekat | Ministry of Education, Science, and Technological Development of the Republic of Serbia [ON174026] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | Godel's Notre Dame Course (Article) |
Autori | Adzic Milos R Dosen Kosta M |
Info | BULLETIN OF SYMBOLIC LOGIC, (2016), vol. 22 br. 4, str. 469-481 |
Projekat | Ministry of Education, Science and Technological Development of Serbia; French National Research Agency [ANR-09-BLAN-0313] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
Naslov | A Planarity Criterion for Graphs (Article) |
Autori | Dosen Kosta M Petric Zoran J |
Info | SIAM JOURNAL ON DISCRETE MATHEMATICS, (2015), vol. 29 br. 4, str. 2160-2165 |
Projekat | Ministry of Science of Serbia [ON174026] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
Naslov | WEAK CAT-OPERADS (Article) |
Autori | Dosen Kosta M Petric Zoran J |
Info | LOGICAL METHODS IN COMPUTER SCIENCE, (2015), vol. 11 br. 1, str. - |
Projekat | Ministry of Science of Serbia [ON174026] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | Graphs of plural cuts (Article) |
Autori | Dosen Kosta M Petric Zoran J |
Info | THEORETICAL COMPUTER SCIENCE, (2013), vol. 484 br. , str. 41-55 |
Projekat | Ministry of Science of Serbia [ON174026] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
Naslov | Syntax for split preorders (Article) |
Autori | Dosen Kosta M Petric Zoran J |
Info | ANNALS OF PURE AND APPLIED LOGIC, (2013), vol. 164 br. 4, str. 443-481 |
Projekat | Ministry of Science of Serbia [ON174026] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | Ordinals in Frobenius monads (Article) |
Autori | Dosen Kosta M Petric Zoran J |
Info | JOURNAL OF PURE AND APPLIED ALGEBRA, (2013), vol. 217 br. 4, str. 763-778 |
Projekat | Ministry of Science of Serbia [ON174026] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | Symmetric Self-adj unctions and Matrices (Article) |
Autori | Dosen Kosta M Petric Zoran J |
Info | ALGEBRA COLLOQUIUM, (2012), vol. 19 br. , str. 1051-1082 |
Projekat | Ministry of Science of Serbia [ON174026] |
Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science |