Michael Beeson
About
Michael Beeson has authored 46 papers that have received a total of 751 indexed citations.
This includes 26 papers in Computational Theory and Mathematics, 19 papers in Artificial Intelligence and 17 papers in Geometry and Topology. The topics of these papers are Logic, programming, and type systems (14 papers), History and Theory of Mathematics (13 papers) and Logic, Reasoning, and Knowledge (13 papers). Michael Beeson is often cited by papers focused on Logic, programming, and type systems (14 papers), History and Theory of Mathematics (13 papers) and Logic, Reasoning, and Knowledge (13 papers) and collaborates with scholars based in United States, The Netherlands and France. Michael Beeson's co-authors include Larry Wos, Julien Narboux, Freek Wiedijk, Geoff Sutcliffe and Jeffrey E. McGee and has published in prestigious journals such as Archive for Rational Mechanics and Analysis, American Mathematical Monthly and Pacific Journal of Mathematics
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Sourav S. Patnaik Top journals papers by Paolo Natalini are published in Top countries impacted by papers by G. Sriram Top fields papers by M. Yousufuddin are about Top fields papers by Philip Seargeant are about Top authors papers by Hasan Göçmez are co-authored with Top fields papers by Emel Kızılkaya Aydoğan are about