Houda Mouhcine

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Subgroup Discovery

Inductive Logic Programming

Concept Formation

Top Venues

Publications

Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine
A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem. FM (2023)
Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine
Lebesgue Induction and Tonelli's Theorem in Coq. CoRR (2022)