Kees Doets

10 papers and 131 indexed citations i.

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