Kosta Došen

68 papers and 611 indexed citations i.

Kosta Došen has authored 68 papers that have received a total of 611 indexed citations. This includes 43 papers in Artificial Intelligence, 35 papers in Computational Theory and Mathematics and 23 papers in Mathematical Physics. The topics of these papers are Logic, programming, and type systems (37 papers), Logic, Reasoning, and Knowledge (36 papers) and Advanced Algebra and Logic (25 papers). Kosta Došen is often cited by papers focused on Logic, programming, and type systems (37 papers), Logic, Reasoning, and Knowledge (36 papers) and Advanced Algebra and Logic (25 papers) and collaborates with scholars based in Serbia, Slovakia and France. Kosta Došen's co-authors include Zoran Petrić and Peter Schroeder‐Heister and has published in prestigious journals such as American Mathematical Monthly, Theoretical Computer Science and Synthese