| 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 <>
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
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)