Structures et modèles de calculs de réécriture
Le calcul de réécriture ou rho-calcul est une généralisation du lambda-calcul avec filtrage et agrégation de termes. L'abstraction sur les variables est étendue à une abstraction sur les motifs et le filtrage correspondant peut être effectué modulo une théorie <br />équationnelle a priori...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Henri Poincaré - Nancy I
2007
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00164576 http://tel.archives-ouvertes.fr/docs/00/16/45/76/PDF/manuscript.pdf |