Laurence Rideau

5 papers and 14 indexed citations i.

Laurence Rideau has authored 5 papers that have received a total of 14 indexed citations. This includes 3 papers in Computational Theory and Mathematics, 2 papers in Artificial Intelligence and 1 paper in Information Systems. The topics of these papers are Numerical Methods and Algorithms (2 papers), Logic, programming, and type systems (2 papers) and Advanced Combinatorial Mathematics (1 paper). Laurence Rideau is often cited by papers focused on Numerical Methods and Algorithms (2 papers), Logic, programming, and type systems (2 papers) and Advanced Combinatorial Mathematics (1 paper) and collaborates with scholars based in France and Spain. Laurence Rideau's co-authors include Bernard Serpette, Vincent Lefèvre, Xavier Leroy, Pierre-Yves Strub and Yves Bertot and has published in prestigious journals such as ACM Transactions on Mathematical Software, Journal of Automated Reasoning and Electronic Notes in Theoretical Computer Science