Program semantics and infinite regular terms
Résumé
Présentation de l'utilisation des termes (ou arbres) infinis en sémantique
Chapitre D'ouvrage
Année : 2009
Bruno Courcelle : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00354861
Soumis le : mercredi 21 janvier 2009-12:09:13
Dernière modification le : lundi 15 avril 2024-11:25:23
Dates et versions
Identifiants
- HAL Id : hal-00354861 , version 1
Citer
Bruno Courcelle. Program semantics and infinite regular terms. Y. Bertot et al. From Semantics to Computer Science, Essays in Honour of Gilles Kahn, Cambridge University Press, pp.160-163, 2009. ⟨hal-00354861⟩
Collections
47
Consultations
0
Téléchargements