Computational semantics of terms rewriting systems
Résumé
Résumé disponible sur le PDF
Rapport
(Rapport De Recherche)
Année : 1983
Rapport De Recherche Inria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00076366
Soumis le : mercredi 24 mai 2006-20:43:05
Dernière modification le : mercredi 15 mars 2023-08:58:09
Archivage à long terme le : vendredi 13 mai 2011-20:00:43
Dates et versions
Identifiants
- HAL Id : inria-00076366 , version 1
Citer
Gérard Boudol. Computational semantics of terms rewriting systems. [Research Report] RR-0192, INRIA. 1983, pp.98. ⟨inria-00076366⟩
Collections
44
Consultations
162
Téléchargements