Rewriting for Deduction and Verification

Michaël Rusinowitch 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We present several applications of rewriting to automated deduction and verification.
Type de document :
Communication dans un congrès
A. Middeldorp. International Conference on Rewriting Techniques and Applications - RTA'2001, 2001, Utrecht, The Netherlands, Springer-Verlag, 2051, pp.2, 2001, Lecture notes in Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00100413
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:41:41
Dernière modification le : jeudi 11 janvier 2018 - 06:19:57

Identifiants

  • HAL Id : inria-00100413, version 1

Collections

Citation

Michaël Rusinowitch. Rewriting for Deduction and Verification. A. Middeldorp. International Conference on Rewriting Techniques and Applications - RTA'2001, 2001, Utrecht, The Netherlands, Springer-Verlag, 2051, pp.2, 2001, Lecture notes in Computer Science. 〈inria-00100413〉

Partager

Métriques

Consultations de la notice

71