J. C. Shepherdson

53 papers and 1.3k indexed citations i.

About

J. C. Shepherdson has authored 53 papers that have received a total of 1.3k indexed citations. This includes 28 papers in Artificial Intelligence, 27 papers in Computational Theory and Mathematics and 5 papers in Geometry and Topology. The topics of these papers are Logic, programming, and type systems (20 papers), Logic, Reasoning, and Knowledge (19 papers) and Advanced Algebra and Logic (12 papers). J. C. Shepherdson is often cited by papers focused on Logic, programming, and type systems (20 papers), Logic, Reasoning, and Knowledge (19 papers) and Advanced Algebra and Logic (12 papers) and collaborates with scholars based in United Kingdom, Czechia and United States. J. C. Shepherdson's co-authors include Petr Hájek, J. B. Paris, Calvin C. Elgot, Samuel Eilenberg and Joanne Lloyd and has published in prestigious journals such as Clinica Chimica Acta, Journal of the ACM and American Mathematical Monthly.

In The Last Decade

side by side view

Countries citing papers authored by J. C. Shepherdson

Since Specialization
Citations
Rankless by CCL
2025