Jaap van Oosten
About
Jaap van Oosten has authored 32 papers that have received a total of 168 indexed citations.
This includes 19 papers in Computational Theory and Mathematics, 18 papers in Artificial Intelligence and 11 papers in Mathematical Physics. The topics of these papers are Logic, programming, and type systems (15 papers), Logic, Reasoning, and Knowledge (11 papers) and Computability, Logic, AI Algorithms (11 papers). Jaap van Oosten is often cited by papers focused on Logic, programming, and type systems (15 papers), Logic, Reasoning, and Knowledge (11 papers) and Computability, Logic, AI Algorithms (11 papers) and collaborates with scholars based in The Netherlands, Denmark and United Kingdom. Jaap van Oosten's co-authors include Lars Birkedal, Thomas Streicher, Sori Lee, Alex Simpson and Michael Hofmann and has published in prestigious journals such as Theoretical Computer Science, Mathematical Proceedings of the Cambridge Philosophical Society and Journal of Symbolic Logic.
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Casey Kennington are co-authored with Top fields papers by K. Kucharski are about Top fields papers by Raju Raju are about Top fields papers by B. de Fornel are about Top journals papers by Gerry Simpson are published in Top authors papers by H Strughold are co-authored with Top countries impacted by papers by Morten Misfeldt Top fields papers by Genevieve Leung are about