Carel S. Schölten

4 papers and 738 indexed citations i.

Carel S. Schölten has authored 4 papers that have received a total of 738 indexed citations. This includes 3 papers in Artificial Intelligence, 2 papers in Computer Networks and Communications and 1 paper in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (2 papers), Semantic Web and Ontologies (1 paper) and semigroups and automata theory (1 paper). Carel S. Schölten is often cited by papers focused on Logic, programming, and type systems (2 papers), Semantic Web and Ontologies (1 paper) and semigroups and automata theory (1 paper) and collaborates with scholars based in United States, The Netherlands and Finland. Carel S. Schölten's co-authors include Edsger W. Dijkstra, Leslie Lamport, Alain J. Martin and E.F.M. Steffens and has published in prestigious journals such as Communications of the ACM, Information Processing Letters and Science of Computer Programming.