Exploració per autor "Massanes Basi, Francesc d'Assis"

Ara es mostren els items 1-1 de 1

    • Non-linear rewrite closure and weak normalization 

      Creus López, Carles; Godoy Balil, Guillem; Massanes Basi, Francesc d'Assis; Tiwari, Ashish Kumar (2013-10)
      Article
      Accés restringit per política de l'editorial
      A rewrite closure is an extension of a term rewrite system with new rules, usually deduced by transitivity. Rewrite closures have the nice property that all rewrite derivations can be transformed into derivations of a ...