Yves Bertot
About
Yves Bertot has authored 17 papers that have received a total of 127 indexed citations.
This includes 13 papers in Artificial Intelligence, 13 papers in Computational Theory and Mathematics and 3 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (12 papers), Numerical Methods and Algorithms (4 papers) and Mathematics, Computing, and Information Processing (4 papers). Yves Bertot is often cited by papers focused on Logic, programming, and type systems (12 papers), Numerical Methods and Algorithms (4 papers) and Mathematics, Computing, and Information Processing (4 papers) and collaborates with scholars based in France, Spain and Cuba. Yves Bertot's co-authors include Laurent Théry, Gilles Kahn, Loïc Pottier, Laurence Rideau and Paul Zimmermann and has published in prestigious journals such as Lecture notes in computer science, ACM SIGPLAN Notices and Journal of Symbolic Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Andrew A. Prudil Top journals papers by John Sahaya Rani Alex are published in Top journals papers by D. Selvaraj are published in Top journals papers by Dominique Meyer are published in Top authors papers by Mark S. Ellis are co-authored with Top fields papers by Yiqiao Dong are about Top countries impacted by papers by Allen P. Nikora Top fields papers by Vítor Silva are about