R. A. Bull

About

R. A. Bull has authored 26 papers that have received a total of 457 indexed citations. This includes 20 papers in Artificial Intelligence, 18 papers in Computational Theory and Mathematics and 4 papers in Geometry and Topology. The topics of these papers are Logic, Reasoning, and Knowledge (20 papers), Advanced Algebra and Logic (17 papers) and Logic, programming, and type systems (8 papers). R. A. Bull is often cited by papers focused on Logic, Reasoning, and Knowledge (20 papers), Advanced Algebra and Logic (17 papers) and Logic, programming, and type systems (8 papers) and collaborates with scholars based in United Kingdom and New Zealand. R. A. Bull's co-authors include and and has published in prestigious journals such as Journal of Symbolic Logic, Notre Dame Journal of Formal Logic and Theoria

In The Last Decade

Explore authors with similar magnitude of impact

Top fields papers by Dietrich Plaß are about Top fields papers by G. Siavalas are about Top fields papers by Horațiu Silaghi are about Top authors papers by Mahender Kotha are co-authored with Top countries impacted by papers by Donald R. Smith Top authors papers by Petri Ahonen are co-authored with Top journals papers by Chengbin Wang are published in Top authors papers by S.-H. Hsieh are co-authored with