Jean-Louis Krivine
About
Jean-Louis Krivine has authored 30 papers that have received a total of 770 indexed citations.
This includes 15 papers in Computational Theory and Mathematics, 14 papers in Artificial Intelligence and 6 papers in Mathematical Physics. The topics of these papers are Logic, Reasoning, and Knowledge (14 papers), Logic, programming, and type systems (13 papers) and Formal Methods in Verification (6 papers). Jean-Louis Krivine is often cited by papers focused on Logic, Reasoning, and Knowledge (14 papers), Logic, programming, and type systems (13 papers) and Formal Methods in Verification (6 papers) and collaborates with scholars based in France and United States. Jean-Louis Krivine's co-authors include G. Kreisel, Didier Dacunha‐Castelle, Gabriel Sabbagh, Krzysztof R. Apt and Daniel Lascar and has published in prestigious journals such as Annals of Mathematics, Physica A Statistical Mechanics and its Applications and Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Madeleine Odgaard are about Top fields papers by Yinong Zhou are about Top fields papers by Shiyu Qin are about Top countries impacted by papers by Jennifer Laffin Top journals papers by Mi‐Kyung Yoon are published in Top journals papers by Ken‐ichiro Minato are published in Top authors papers by Aozi Feng are co-authored with Top countries impacted by papers by Rheem D. Medh