Monotone interpretations - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2007

Monotone interpretations

Abstract

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.
Fichier principal
Vignette du fichier
bqi.pdf (119.96 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00145060 , version 1 (07-05-2007)

Identifiers

  • HAL Id : inria-00145060 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More