Le calcul de réécriture
Le manuscrit présente une partie des travaux de recherche que j'ai effectués au cours des dix dernières années. Je me suis focalisé en particulier sur la présentation du calcul de réécriture comme un formalisme théorique permettant de donner la sémantique dynamique et statique de toute une fami...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Nancy II
2010
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00546917 http://tel.archives-ouvertes.fr/docs/00/54/69/17/PDF/main.pdf |