Roger D. Maddux

53 papers and 833 indexed citations i.

About

Roger D. Maddux has authored 53 papers that have received a total of 833 indexed citations. This includes 38 papers in Computational Theory and Mathematics, 31 papers in Artificial Intelligence and 8 papers in Computer Networks and Communications. The topics of these papers are Advanced Algebra and Logic (30 papers), Logic, Reasoning, and Knowledge (29 papers) and Logic, programming, and type systems (12 papers). Roger D. Maddux is often cited by papers focused on Advanced Algebra and Logic (30 papers), Logic, Reasoning, and Knowledge (29 papers) and Logic, programming, and type systems (12 papers) and collaborates with scholars based in United States, United Kingdom and Brazil. Roger D. Maddux's co-authors include Hajnal Andréka, Robin Hirsch, Ian Hodkinson, Andrzej Ehrenfeucht and István Németi and has published in prestigious journals such as Science, The American Naturalist and Journal of the ACM

In The Last Decade

Rankless by CCL
2025