Richard Blute
About
Richard Blute has authored 24 papers that have received a total of 441 indexed citations.
This includes 16 papers in Artificial Intelligence, 16 papers in Computational Theory and Mathematics and 8 papers in Mathematical Physics. The topics of these papers are Logic, programming, and type systems (13 papers), Advanced Algebra and Logic (11 papers) and Logic, Reasoning, and Knowledge (10 papers). Richard Blute is often cited by papers focused on Logic, programming, and type systems (13 papers), Advanced Algebra and Logic (11 papers) and Logic, Reasoning, and Knowledge (10 papers) and collaborates with scholars based in Canada, United Kingdom and Russia. Richard Blute's co-authors include J.R.B. Cockett, R. A. G. Seely, Prakash Panangaden, Philip Scott and Josée Desharnais and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and Journal of Symbolic Logic
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Mohammed Z. El-Bialy are published in Top fields papers by Po‐Wu Gean are about Top journals papers by Astrid Nilsson are published in Top countries impacted by papers by Shumei Yun Top fields papers by Sergey Nechayev are about Top countries impacted by papers by S. Kocoshis Top journals papers by Huayang Gan are published in Top journals papers by Philipp Schlechtweg are published in