Yves Bertot

17 papers and 127 indexed citations i.

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