M. R. Sleep

16 papers and 170 indexed citations i.

About

M. R. Sleep has authored 16 papers that have received a total of 170 indexed citations. This includes 11 papers in Artificial Intelligence, 7 papers in Computational Theory and Mathematics and 4 papers in Software. The topics of these papers are Logic, programming, and type systems (7 papers), Logic, Reasoning, and Knowledge (5 papers) and Semantic Web and Ontologies (4 papers). M. R. Sleep is often cited by papers focused on Logic, programming, and type systems (7 papers), Logic, Reasoning, and Knowledge (5 papers) and Semantic Web and Ontologies (4 papers) and collaborates with scholars based in United Kingdom, The Netherlands and United States. M. R. Sleep's co-authors include Richard Kennaway, Jan Willem Klop, Henk Barendregt, Robert Keller and John Glauert and has published in prestigious journals such as Neurobiology of Disease, Theoretical Computer Science and ACM Transactions on Programming Languages and Systems.

In The Last Decade

Rankless by CCL
2025