Yaroslav Shramko

29 papers and 281 indexed citations i.

About

Yaroslav Shramko has authored 29 papers that have received a total of 281 indexed citations. This includes 18 papers in Computational Theory and Mathematics, 17 papers in Artificial Intelligence and 4 papers in Education. The topics of these papers are Logic, Reasoning, and Knowledge (16 papers), Advanced Algebra and Logic (16 papers) and Logic, programming, and type systems (9 papers). Yaroslav Shramko is often cited by papers focused on Logic, Reasoning, and Knowledge (16 papers), Advanced Algebra and Logic (16 papers) and Logic, programming, and type systems (9 papers) and collaborates with scholars based in Ukraine, Germany and Mozambique. Yaroslav Shramko's co-authors include Heinrich Wansing, Norihiro Kamide, Сергій Олексійович Семеріков and Fabian Neuhaus and has published in prestigious journals such as Synthese, Annals of Pure and Applied Logic and Journal of Philosophical Logic

In The Last Decade

Rankless by CCL
2025