General Automation in Coq through Modular Transformations.

Valentin Blot Louise Dubois de Prisque Chantal Keller Pierre Vial

Published in: PxTP (2021)

Keyphrases

special case
closely related
wide range
real time
information retrieval
artificial intelligence
search engine
evolutionary algorithm
xml documents