Langages d'arbres réguliers et algébriques pour la réécriture et la vérification
Partant d'un système de réécriture R basé sur les constructeurs et d'un langage initial E, il est alors possible de calculer l'ensemble des descendants, c est à dire des termes atteignables à partir de E en appliquant récursivement les règles de R. Calculer l'ensemble des descend...
Salvato in:
| Autore principale: | |
|---|---|
| Altri autori: | |
| Natura: | Thèse et Mémoire papier |
| Lingua: | Français |
| Pubblicazione: |
[S.l.] :
[s.n.]
2004.
|
| Soggetti: | |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Regular and context-free tree languages for rewriting and verification |
Orléans - BU Sciences Technologies STAPS
| Localizzazione | Collocazione | Type de prêt | Status | |
|---|---|---|---|---|
| Magasin | TS 19-2004-64 b |
A consulter sur place
|
||
| Magasin | TS 19-2004-64 | Disponibile |