Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadata

Cited literature [4 references]  Display  Hide  Download

https://hal.inria.fr/inria-00145060
Contributor : Guillaume Bonfante <>
Submitted on : Monday, May 7, 2007 - 4:17:59 PM
Last modification on : Tuesday, December 18, 2018 - 4:48:02 PM
Long-term archiving on: : Friday, September 21, 2012 - 2:40:52 PM

File

bqi.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00145060, version 1

Collections

Citation

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

Share

Metrics

Record views

150

Files downloads

117