Kees Doets
About
Kees Doets has authored 10 papers that have received a total of 131 indexed citations.
This includes 5 papers in Computational Theory and Mathematics, 4 papers in Artificial Intelligence and 2 papers in Algebra and Number Theory. The topics of these papers are Logic, Reasoning, and Knowledge (3 papers), Logic, programming, and type systems (3 papers) and Advanced Algebra and Logic (3 papers). Kees Doets is often cited by papers focused on Logic, Reasoning, and Knowledge (3 papers), Logic, programming, and type systems (3 papers) and Advanced Algebra and Logic (3 papers) and collaborates with scholars based in The Netherlands, United States and Italy. Kees Doets's co-authors include Johan van Benthem, María Luisa Dalla Chiara, Daniele Mundici, Kim B. Bruce and Krzysztof R. Apt and has published in prestigious journals such as Journal of Symbolic Logic, The Journal of Logic Programming and Journal of Logic and Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by D. A. Jones Top fields papers by Stanford Zent are about Top journals papers by Αδαμάντιος Σαμψών are published in Top fields papers by A. R. McCormick are about Top fields papers by Ahmad Khaliq are about Top fields papers by Chara Tzavara are about Top authors papers by Kai Siebenbrodt are co-authored with Top authors papers by J. Clayton Feaver are co-authored with