Alan Rose

45 papers and 193 indexed citations i.

Alan Rose has authored 45 papers that have received a total of 193 indexed citations. This includes 33 papers in Computational Theory and Mathematics, 22 papers in Artificial Intelligence and 4 papers in Experimental and Cognitive Psychology. The topics of these papers are Advanced Algebra and Logic (31 papers), Logic, Reasoning, and Knowledge (21 papers) and Logic, programming, and type systems (8 papers). Alan Rose is often cited by papers focused on Advanced Algebra and Logic (31 papers), Logic, Reasoning, and Knowledge (21 papers) and Logic, programming, and type systems (8 papers) and collaborates with scholars based in United Kingdom, United States and Belgium. Alan Rose's co-authors include A. R. Turquette, J. Barkley Rosser, B.J. Lowesmith, Alonzo Church and H. B. Curry and has published in prestigious journals such as Transactions of the American Mathematical Society, Bulletin of the London Mathematical Society and Mathematische Annalen