Login / Signup
Pierre-Léo Bégay
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Theorem Prover
Transitive Closure
Data Integration
Query Answering
Top Venues
CPP
</>
Publications
</>
Pierre-Léo Bégay
,
Pierre Crégut
,
Jean-François Monin
Developing and certifying Datalog optimizations in coq/mathcomp.
CPP
(2021)