Bernard R. Hodgson

11 papers and 64 indexed citations i.

Bernard R. Hodgson has authored 11 papers that have received a total of 64 indexed citations. This includes 4 papers in Computational Theory and Mathematics, 1 paper in Artificial Intelligence and 1 paper in Cognitive Neuroscience. The topics of these papers are Computability, Logic, AI Algorithms (3 papers), Numerical Methods and Algorithms (2 papers) and Formal Methods in Verification (1 paper). Bernard R. Hodgson is often cited by papers focused on Computability, Logic, AI Algorithms (3 papers), Numerical Methods and Algorithms (2 papers) and Formal Methods in Verification (1 paper) and collaborates with scholars based in Canada, Norway and China. Bernard R. Hodgson's co-authors include Hiroshi Fujita, Stephen Lerman, Clement F. Kent, Toshio Sawada and Gilah C. Leder and has published in prestigious journals such as Journal of Computer and System Sciences, Theoretical Computer Science and Journal of Symbolic Logic