Grigori Mint︠s︡

24 papers and 218 indexed citations i.

Grigori Mint︠s︡ has authored 24 papers that have received a total of 218 indexed citations. This includes 20 papers in Artificial Intelligence, 14 papers in Computational Theory and Mathematics and 3 papers in Theoretical Computer Science. The topics of these papers are Logic, programming, and type systems (16 papers), Logic, Reasoning, and Knowledge (16 papers) and Computability, Logic, AI Algorithms (6 papers). Grigori Mint︠s︡ is often cited by papers focused on Logic, programming, and type systems (16 papers), Logic, Reasoning, and Knowledge (16 papers) and Computability, Logic, AI Algorithms (6 papers) and collaborates with scholars based in United States, Canada and Estonia. Grigori Mint︠s︡'s co-authors include Wilfried Buchholz, Sam Buss, Ting Zhang, Alasdair Urquhart and Thomas Studer and has published in prestigious journals such as Theoretical Computer Science, Synthese and Journal of Symbolic Logic.