Rewriting for Deduction and Verification
Résumé
We present several applications of rewriting to automated deduction and verification.
Communication Dans Un Congrès
Année : 2001
Publications Loria : 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 : jeudi 15 février 2024-03:31:20
Dates et versions
Identifiants
- HAL Id : inria-00100413 , version 1
Citer
Michaël Rusinowitch. Rewriting for Deduction and Verification. International Conference on Rewriting Techniques and Applications - RTA'2001, 2001, Utrecht, The Netherlands, pp.2. ⟨inria-00100413⟩
Collections
71
Consultations
0
Téléchargements