Abstract : We present a new integration scheme for decision procedures within proof systems based on rewriting and induction. A formal presentation allows one to derive the soundness of the approach.
https://hal.inria.fr/inria-00098930
Contributeur : Publications Loria
<>
Soumis le : mardi 26 septembre 2006 - 08:40:23
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58
