| HAL-Inria | Publications, software ... of Inria's scientists |
Reports
Monotone interpretations
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.
Cited literature [4 references]
https://hal.inria.fr/inria-00145060
Contributor : Guillaume Bonfante Connect in order to contact the contributor
Submitted on : Monday, May 7, 2007 - 4:17:59 PM
Last modification on : Saturday, October 16, 2021 - 11:26:05 AM
Long-term archiving on: : Friday, September 21, 2012 - 2:40:52 PM
Contributor : Guillaume Bonfante Connect in order to contact the contributor
Submitted on : Monday, May 7, 2007 - 4:17:59 PM
Last modification on : Saturday, October 16, 2021 - 11:26:05 AM
Long-term archiving on: : Friday, September 21, 2012 - 2:40:52 PM
File
bqi.pdf
Files produced by the author(s)