Grigori Mint︠s︡

24 papers and 214 indexed citations i.

Grigori Mint︠s︡ has authored 24 papers that have received a total of 214 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, Reasoning, and Knowledge (16 papers), Logic, programming, and type systems (16 papers) and Computability, Logic, AI Algorithms (6 papers). Grigori Mint︠s︡ is often cited by papers focused on Logic, Reasoning, and Knowledge (16 papers), Logic, programming, and type systems (16 papers) and Computability, Logic, AI Algorithms (6 papers) and collaborates with scholars based in United States, Japan and Germany. Grigori Mint︠s︡'s co-authors include Wilfried Buchholz, Toshiyasu Arai, Makoto Tatsuta, Sam Buss and Philip Kremer and has published in prestigious journals such as Theoretical Computer Science, Synthese and Journal of Symbolic Logic