Monotone interpretations

Guillaume Bonfante 1
1 CARTE - Theoretical adverse computations, and safety
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Résumé : Nous considérons une nouvelle classe d'interprétation des systèmes de réécriture. Nous montrons qu'elle bénéficie de bonne propriété intentionnelles.
Type de document :
Rapport
[Research Report] 2007, pp.9
Liste complète des métadonnées

Littérature citée [4 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00145060
Contributeur : Guillaume Bonfante <>
Soumis le : lundi 7 mai 2007 - 16:17:59
Dernière modification le : jeudi 11 janvier 2018 - 06:21:25
Document(s) archivé(s) le : vendredi 21 septembre 2012 - 14:40:52

Fichier

bqi.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00145060, version 1

Collections

Citation

Guillaume Bonfante. Monotone interpretations. [Research Report] 2007, pp.9. 〈inria-00145060〉

Partager

Métriques

Consultations de la notice

130

Téléchargements de fichiers

80