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.
Domains
Computational Complexity [cs.CC]
Origin : Files produced by the author(s)
Loading...