Rewriting for Deduction and Verification
Résumé
We present several applications of rewriting to automated deduction and verification.
| Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
We present several applications of rewriting to automated deduction and verification.
Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00100413
Soumis le : mardi 26 septembre 2006-14:41:41
Dernière modification le : mardi 4 novembre 2025-11:57:31